(1) -> f x == x::FR POLY INT
Type: Void
(2) -> factorList f(x^2-1)
Compiling function f with type Polynomial(Integer) -> Factored(
Polynomial(Integer))
2
(2) [[flg = "sqfr",fctr = x - 1,xpnt = 1]]
Type: List(Record(flg: Union("nil","sqfr","irred","prime"),fctr:
Polynomial(Integer),xpnt: Integer))
(3) -> factorList ((x^2-1)::FR POLY INT)
(3)
[[flg = "prime",fctr = x - 1,xpnt = 1],[flg = "prime",fctr = x + 1,xpnt = 1]]
Type: List(Record(flg: Union("nil","sqfr","irred","prime"),fctr:
Polynomial(Integer),xpnt: Integer))
Simply wrap this type conversion into a function causes
different result, I think this is a bug.
In "f x == x::FR POLY INT", f seems to call 'coerce:R->%'
from FR POLY INT. Is the conversion in interpreter a special
treatment?
--
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.
