Currently RecursivePolynomialCategory under some conditions declares
ConvertibleTo(String). This looks fishy. First, part of condition
is RetractableTo(Integer) and implementation uses retraction to
Integer. But in general retraction may fail, so this is too
weak condition. Second, AFAICS no other polynomial category
exports such operation and apparently it is used only to
implement some alternative debugging printouts.
I am thinking about removing this export.
--
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 fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/aGmuPMLmTRJsLd-O%40fricas.org.
