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))
--
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 http://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
