> (only for Ralf, the rest can skip it safely...) Only for Martin, the rest can safely skip the following ;-)
> Here is the definition of ACIsomorphismType (another hack, trying to deal with > functions that return a type...): > > ACIsomorphismType(L: LabelType, F: CombinatorialSpecies L): > IsomorphismTypeCategory L == (IsomorphismType$F) add; > > (every species F exports an IsomorphismType, which is actually a constant. > FriCAS turns it into a nullary function) Since ordinary fricas functions are > not allowed to return types, I have to provide an accessor type, as above. > > Calling > > IsoS := IsomorphismType()$SetSpecies(ACINT) > > crashes FriCAS. Well, I don't know whether any Axiom flavour can deal with it, but you remember that I don't like that kind of treatment of isomorphism types in aldor-combinat, anyway. Not yet, at least. I will try to deal with removing ACList, ACINT, etc. first and then I might have time to deal with isomorphism types or multisort species. Hopefully, my computerless vacation time will not come earlier. ;-) Ralf ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ Aldor-combinat-devel mailing list Aldor-combinat-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
