I would like a Vector domain which implements AbelianGroup.
Unfortunately Vectors in FriCAS don't appear to implement AbelianGroup
because it needs to implement 0:% which it can't because the nearest
function in Vector is zero: NonNegativeInteger -> % but this needs to
know the number of dimensions.
So I think what is needed is a version of Vector which has the number of
dimensions built in to the type (as a type parameter) rather than having
a variable dimension. This could then implement AbelianGroup.
I need this for the cochain code that I previously posted.
This allows a (AbelianGroup) value to be associated with a point (or
higher simplex). For example we could have real (Float) values
associated with each point representing say voltage or height or some
other quantity for each point.
Perhaps the most obvious quantity we could associate with each point is
position, given by a vector relative to some origin and coordinate
system. However the type (domain) needs to implement AbelianGroup.
Martin B
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
