Franz Lehner wrote:
> Hello,
>
> I have been playing with CCR (asked recently here by a physicist).
> It is a hypergroup like object and I tried the following:
> Define multiplication from the basis into FreeModule(basis)
> and then extend it linearly.
> However I keep getting the following error when compiling the attached file
> (a simplified version). What is expected to be an ordered set here?
> ------------------------------------------------------------------------
> initializing NRLIB CCRA for CCRAlgebra
> compiling into NRLIB CCRA
> compiling exported * : ($,$) -> $
> ****** comp fails at level 1 with expression: ******
> error in function *
>
> ($)
> ****** level 1 ******
> $x:= $
> $m:= (OrderedSet)
> $f:=
> ((((|res1| #) (|y1| # #) (|x1| # #) (|last| #) ...)))
>
> >> Apparent user error:
> Cannot coerce $
> of mode (Algebra R)
> to mode (OrderedSet)
> ------------------------------------------------------------------------
>
AFAICS this is compiler bug. Compiler got confused and compiling
* in CCRAlgebra wants FreeModule(R, $) -- it should use
FreeModule(R, CCRBasis(R)).
--
Waldek Hebisch
[email protected]
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
