On 12/11/16 17:30, Kurt Pagani wrote:
> That's what had I in mind. I erroneously assumed that your
"GroupPresentation"
> implements a group in the literallly sense, e.g. to get answers to
queries like
> a*b^2=b*a^2?
> If you inherit from Group then you will get *,1,inv for free. So the
domain
> "Word" will actually be a group.
Well I started coming at this from the Algebraic Topology point of view.
That is the relationship between various topologies and various
algebras. It seems to me that is about a whole topology being related to
a whole algebra (group). I therefore need an entity like
GroupPresentation (or something with that structure) to represent the
whole group, not an element of the group.
Inside that, individual calculations still seem to involve individual
elements. Unless there is a way to do Algebraic Topology purely from the
outside (in a category theoretic way)?
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 fricas-devel+unsubscr...@googlegroups.com.
To post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.