Thomas Feulner <[EMAIL PROTECTED]> writes: > Dear Ralf, > > > See the examples on Mathaction: > > > > http://axiom-wiki.newsynthesis.org/SandBoxSpecies > > http://axiom-wiki.newsynthesis.org/SandBoxSpeciesAldor > > > > If you want to experiment, just open up a new page, for example, > > > > http://axiom-wiki.newsynthesis.org/SandBoxSpeciesFeulner > > I created this page as you proposed and followed your examples above. > Now, I tried to build some other species. In some cases I succeeded in others > I failed. May you take a look at > http://axiom-wiki.newsynthesis.org/SandBoxSpeciesBayreuth > and tell me how to proceed.
Well, I think LinearOrder you could easily define yourself as LinearOrder := Interpret([parse "Plus(EmptySetSpecies,Times(SingletonSpecies,Self))"], ACInteger); This should also create the isomorphismtypes, which, however, do not work on MathAction since the Aldor Interface is broken :-( Cycle cannot be defined using Times, Plus, Compose, so I guess I'll have to implement it. I'll let you know. Given Cycle, you can then define Permutation as Perm := Interpret([parse "Compose(SetSpecies,Cycle)"], ACInteger); (you should not use "Permutation" as name, because that conflicts with a name in axiom...) Martin ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://sourceforge.net/services/buy/index.php _______________________________________________ Aldor-combinat-devel mailing list Aldor-combinat-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
