No idea why, but it seems that making CCRAlgebra an OrderedSet makes
things work.
Martin
CCRBasis(R:CommutativeRing):HGBasis(R) == Symbol add
x * y == monomial(1,x)
)abbrev domain CCRA CCRAlgebra
++ blabla
CCRAlgebra(R:CommutativeRing): Join(Algebra(R), OrderedSet) ==
FreeModule(R,CCRBasis(R)) add
Rep:= FreeModule(R,CCRBasis(R))
x,y:%
x * y ==
for x1 in listOfTerms (x::Rep) repeat
for y1 in listOfTerms (y::Rep) repeat
res: % := (x1 k * y1 k)
-- res:= (x1 c * y1 c)*res1 + res
res
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
