Thanks, at least that is a work around for me at the moment to complete my coding, as C4 and D4 is most important for this application.
Am 04.11.15 um 15:59 schrieb Waldek Hebisch: > Johannes Grabmeier wrote: >> here is the code >> >> monact.spad for MonoidAction >> pgn.spad with the code of the two domains I already sent in the orginal not= >> e >> finite.spad where the required OneToN is defined > This looks like a bug in Spad compiler. The following avoids > the problem (but of course looses genericity, so is not > a solution): > > )abbrev domain GG4D CyclicGroup4d > CyclicGroup4d() == CyclicGroup(4, 'd) > > )abbrev domain CYC2DV CyclicTwoDimensionalVelocity > CyclicTwoDimensionalVelocity(R: Field, d: Symbol): Exports == Implementation > where > G ==> CyclicGroup4d > ... > > with the rest copied from your domain. the I can do > > (1) -> cVV := CyclicTwoDimensionalVelocity(Fraction(Integer),'d) > > (1) CyclicTwoDimensionalVelocity(Fraction(Integer),d) > Type: Type > (2) -> v := construct(0, 1)$cVV > > (2) [0,1] > Type: CyclicTwoDimensionalVelocity(Fraction(Integer),d) > (3) -> orbit v > > (3) [[0,1],[- 1,0],[0,- 1],[1,0]] > Type: List(CyclicTwoDimensionalVelocity(Fraction(Integer),d)) > > -- Mit freundlichen Grüßen Johannes Grabmeier Fraktionsvorsitzender FREIE WÄHLER, Stadtrat Deggendorf Prof. Dr. Johannes Grabmeier Köckstraße 1, D-94469 Deggendorf Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756 Fax: +49-(0)-3224-192688 -- 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 http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
