I wrote:
>
> 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)).
>
The error is coused by line 170 in nruncomp.boot:
[op,[dc,:[genDeltaSig x for x in nsig]],['T,cform]]
^^^^
At first glance 'nsig' makes no sense here, after replacing it
by 'sig' the error goes away. But using 'sig' we get errors
in other places. Apparently to change from 'sig' to 'nsig'
happened during NAG time. It will take some time to find out
what problem NAG folks tried to solve and to find proper
solution.
--
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
-~----------~----~----~----~------~----~------~--~---
