For f := (x^2 - 1) :: UP(x,INT)
factor f
yields
(12) (x - 1)(x + 1)
Type: Factored(UnivariatePolynomial(x,Integer)),
and prime?(f) $UP(x,INT)
reports in the interpreter that no operation named prime? fits here.
And in Spad, the compiler reports
...
****** level 3 ******
$x:= ((elt (UnivariatePolynomial x (Integer)) prime?) f)
$m:= $EmptyMode
$f:=
((((|f| #) (|fA| #) (|fInput| #) (|expInput| #) ...)
((|sumInts| #) (* #) (+ #) (- #) ...)))
>> Apparent user error:
not known that (UnivariatePolynomial x (Integer)) has
(has (Integer) (PolynomialFactorizationExplicit))
It also does not know `irreducible?', `reducible?'.
As it can factor in UP(x,INT) as in an UniqueFactorizationDomain,
why cannot it find there value of prime?(f) ?
As I recall, prime? is of UniqueFactorizationDomain.
Regards,
------
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.
