On 04.11.2020 11:47, Ralf Hemmecke wrote:
> On 11/4/20 12:05 AM, Kurt Pagani wrote:
>> Strange, indeed. The CATs seem to be ok.
>> When taking minrootpol and CX out of the body of f2, the it works.
>
> OK, good to know, but I don't think it will help me since in fact, I
> want to get minrootpol from
>
> cyclotomic(n)$CyclotomicPolynomialPackage
>
> and the n is computed from some other data at runtime.
> So moving it out of the function is not of big help, since I want to
> create this SimpleAlgebraicExtension at runtime.
Seemingly it also works by using macros, so this may be a work-around?
Not nice perhaps, but ...
Bar(C: IntegralDomain): with
f1: () -> Void
f2: () -> Void
== add
--minrootpol: SUP C := monomial(1,2)$SUP(C) + 1
--CX ==> SimpleAlgebraicExtension(C, SUP C, minrootpol)
minrootpol(X) ==> monomial(1,2)$SUP(X) + 1
CX(Y) ==> SimpleAlgebraicExtension(Y, SUP Y, minrootpol Y)
f1(): Void ==
px1 := px()$Foo(C, L1 C)
dbgPrint("px1", px1)
f2(): Void ==
px2 := px()$Foo(CX(C), L1 CX(C))
dbgPrint("px2", px2)
--
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 view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/de860e82-bac9-10ed-be8c-ff5895a6e219%40gmail.com.
