Ralf Hemmecke wrote:
>
> Hi Waldek,
>
> I know that coerce is treated in a special way, but I guess it shouldn't
> happen that when I rename a function from toR to coerce that the
> compiler will complain like this.
>
> ((|::| |p|
> (|PolynomialRing| C
> (|SplitHomogeneousDirectProduct| |dim| |dim1|
>
> (|NonNegativeInteger|)))))
> ****** level 1 ******
> $x:= (:: p (PolynomialRing C (SplitHomogeneousDirectProduct dim dim1
> (NonNegativeInteger))))
> $m:= (PolynomialRing C (SplitHomogeneousDirectProduct dim dim1
> (NonNegativeInteger)))
> $f:=
> ((((|p| # #) (|rs| #) (|toPol| #) (|coerce| # #) ...)
> ((|computeEtaQuotientRelations| #) (|#| #) (< #) (<= #) ...)
> ((|etaQuotient| #) (* #) (+ #) (/ #) ...)
> ((|xPolynomial?| #) (|/\\| #) (< #) (<= #) ...) ...))
>
> >> Apparent user error:
> Cannot coerce p
> of mode (Polynomial C)
> to mode (PolynomialRing C (SplitHomogeneousDirectProduct dim dim1
> (NonNegativeInteger)))
>
> In fact, I experimented a bit and the problem is not the name "coerce"
> but rather the way I call that function.
>
> rs: List R := [p::R for p in lpol]
>
> rs: List R := [coerce(p)@R for p in lpol]
> rs: List R := [coerce(p) for p in lpol]
> rs: List R := [toR(p) for p in lpol]
>
> While the first gives the above error, the other three work fine.
>
> I don't know whether or not this is relevant, but all that happens
> inside a function, i.e., the (polynomial) domain R as well a coerce and
> toR are defined inside this function. OK R, is just a macro to
> PolynomialRing.
Could you post a complete example showing the problem? AFAICS
constructs like '[p::R for p in lpol]' are used a lot and work
fine. So the problem is triggered by something you did not
post...
--
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.
