We have quite a lot of places where we coerce constant strings to symbols. I think we should directly use symbol notation like:
P ==> SparseMultivariatePolynomial(R, K) UP ==> SparseUnivariatePolynomial F UPR ==> SparseUnivariatePolynomial R - SPECIALDISP ==> "%specialDisp"::Symbol - SPECIALDIFF ==> "%specialDiff"::Symbol + SPECIALDISP ==> '%specialDisp + SPECIALDIFF ==> '%specialDiff Exports ==> with rootOf : (UP, SE) -> F BTW: It seems that in OpenAxion Gaby did the same some time ago. -- Waldek Hebisch hebi...@math.uni.wroc.pl --~--~---------~--~----~------------~-------~--~----~ 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 fricas-devel@googlegroups.com To unsubscribe from this group, send email to fricas-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---