Ralf Hemmecke wrote:
>
> OK, I removed all the useless stuff around and even replaced my
> R==>PolynomialRing(...) by R==>Integer.
>
> I replaced even the body of the function by 'error "..."', but the weird
> behaviour still happens with my FriCAS.
>
> Admittedly, I have some changes in my compiled FriCAS, but they
> shouldn't actually affect that behaviour, since it's just adding some
> more domains. So let's see whether you can reproduce it.
>
> With p::R I get...
>
> (1) -> )co bugcoerce.spad
> Compiling FriCAS source code from file
> /home/hemmecke/backup/git/fricas/bugcoerce.spad using old system
> compiler.
> QETAWORK abbreviates package QEtaWork
> ------------------------------------------------------------------------
> initializing NRLIB QETAWORK for QEtaWork
> compiling into NRLIB QETAWORK
> compiling exported eliminate : List Polynomial C -> List Polynomial C
> processing macro definition R ==> Integer
> ****** comp fails at level 1 with expression: ******
> error in function eliminate
>
> ((|::| |p| (|Integer|)))
> ****** level 1 ******
> $x:= (:: p (Integer))
> $m:= (Integer)
> $f:=
> ((((|p| # #) (|rs| #) (|value| # #) (|coerce| # #) ...)))
>
> >> Apparent user error:
> Cannot coerce p
> of mode (Polynomial C)
> to mode (Integer)
>
> while "coerce(p)@R" compiles without complaint.
Well, ATM '::' only looks for exported 'coerce', possible
local one is ignored...
--
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 https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
