https://github.com/martinbaker/multivector/blob/master/homset.spad.pamphlet
Would you be interested in including it with friCAS?
You didn't asked me, though, but I'd like to comment.
As it is, I wouldn't be in favour of putting it inside fricas.
1) I don't quite understand the benefit of this domain other than
perhaps drawing diagrams. What is your actual motivation for such a domain.
2) I don't actually like the design very much. (Of course, that is
debatable.)
You basically implicitly create a type OBJT and ARROW
OBJT ==> Record(name:String,posX:NNI,posY:NNI)
ARROW ==> Record(name:String,arrType:NNI,fromOb:NNI,_
toOb:NNI,xOffset:Integer,yOffset:Integer)
ARROW already looks rather complicated. I'd expect something like
Record(name: String, src: OBJT, target: OBJT).
And more importantly, you want higher order arrows. So why not giving
the types of OBJT as an input parameter to HomSet? Higher order arrows
can then appear more naturally as arrows between arrows, i.e. the arrows
in HomSet(Arrow).
Doing it in levels like this, it seems a bit questionable to put
posX/posY into the OBJT type.
Having said that, it seems that your domain is simply for drawing and
not itself (logically) for creating diagrams.
And again... output should be with OutputForm, not String.
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
