> Nearly true. The problem is that some new domains rely on the "List of > Record" representation and access the representation directly instead of > via exported functions.
Feel free to use acces the Rep directly, as long as you don't use destructive functions on Rep. That's an argument for having immutable date structure in Spad (for example ImmutableList): compiler will ensure that (since no destructive functions exported from immutable date structure). > No domain should rely on a certain representation of another domain! Correct. If "DomA == DomB add ..." then DomA and DomB must have same Rep, aka, no Rep in DomA and use the default one from DomB. But in your example, FreeModule and IndexedDirectProductObject have same Rep, so comment out those lines will be OK. -- 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.
