Can you, please tell, what is wrong here?
---------------------------------------------- t.spad ------------
INT ==> Integer
NNI ==> NonNegativeInteger
UPol ==> UnivariatePolynomial(x, Integer)
)abbrev package FOO Foo
Foo() : with
f : () -> Factored UPol
==
add
f() : Factored UPol ==
X := monomial(1 ::INT, 1 ::NNI) $UPol
factor(X) $UPol
-------------------------------------------------------------------
In the interpreter, factor(f) works for f : UPol.
And the compiler of fricas-1.1.6 + SBCL 1.0.55 reports
Compiling FriCAS source code from file
/home/mechvel/haxiom/fromA-aim/t.spad using old system compiler.
FOO abbreviates package Foo
------------------------------------------------------------------------
initializing NRLIB FOO for Foo
compiling into NRLIB FOO
compiling exported f : () -> Factored UnivariatePolynomial(x,Integer)
****** comp fails at level 3 with expression: ******
error in function f
(SEQ
(LET X
((|elt| (|UnivariatePolynomial| |x| (|Integer|)) |monomial|)
(|::| 1 (|Integer|)) (|::| 1 (|NonNegativeInteger|))))
(|exit| 1 | << | ((|elt| (|UnivariatePolynomial| |x| (|Integer|))
|factor|) X)
| >> |))
****** level 3 ******
$x:= ((elt (UnivariatePolynomial x (Integer)) factor) X)
$m:= (Factored (UnivariatePolynomial x (Integer)))
$f:=
((((X #) (|$Information| #) (|f| #) (|$DomainsInScope| # # #) ...)))
>> Apparent user error:
not known that (UnivariatePolynomial x (Integer)) has
(has (Integer) (PolynomialFactorizationExplicit))
-------------------------------------------------------------------
Thanks,
------
Sergei
[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.
