ConvertibleTo(String) in RecursivePolynomialCategory

[Waldek Hebisch]

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

[Grégory Vanuxem]

Completely silly thing. I wonder how it comes from.

+1

--
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...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/aGmuPMLmTRJsLd-O%40fricas.org.

[Ralf Hemmecke]

Maybe Marc Moreno Maza used that function for debugging output.
I haven't actually checked whether the same (or at least similar) output
can be obtained via POLY --> OutputForm --> Format1D.

ConvertibleTo(String) is not important to me. Remove it.

Ralf