Martin Baker wrote:
>
> > * Do you intend implementing higher homotopy groups?
>
> I would like to, but possibly not the highest priority? When I have
> tackled the bugs I would like to move on to the cohomology issues you
> mentioned below, I am also keen to support real (metric) geometries.
>
> So far the main difficulty is not finding a valid fundamental group but
> attempting to simplify it. Since there is no canonical form and no way
> to know if there is a simpler form then this is more art than exact
> algorithm. It will be very difficult to do this as well as GAP. I think
> its the sort of thing where we just need to start with something that
> works and the refine it over the years.
>
> I don't know if this also applies to higher homotopy groups, I assume it
> does?
Higher homotopy group are commutative so there no problems with
simplifying presentation. OTOH there are different problems, in
particular high homotopy groups of spheres are still mostly unknown.
--
Waldek Hebisch
--
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.
