On Tue, Feb 21, 2012 at 04:38:05PM +0400, Serge D. Mechveliani wrote:
> Dear Axiom/FriCAS developers,
>
> The archive http://botik.ru/pub/local/Mechveliani/axiQuest/DParse.zip
>
> contains a small draft Spad program for the project DParse of a
> general fast parsing.
I need to add this note.
The part test1Fr in testParse.spad reports
An expression involving @ UnivariatePolynomial(x,Fraction(Integer))
actually evaluated to one of type Fraction(UnivariatePolynomial(x
,Fraction(Integer))) . Perhaps you should use ::
UnivariatePolynomial(x,Fraction(Integer)) .
This is because I write there the FriCAS parse for
"x^5 + ((4/3) :: Fraction Integer)*x^4 + x^3 + ..."
...
f := interpret(iForm) $InputFormFunctions1(UPolFr) :: UPolFr,
and FriCAS, proabably, still starts to put some polynomials into a
denominator. May be, it treats (1/2)*x as dividing polynomials:
((1/1)*x^1)/((2/1)*x^0) ?
I tried its advice, and other things, but could not force
`parse * interpret' of FriCAS to compute in UP(x, Fraction INT).
How to do this, please?
Also I am not sure that `parse * interpret' is the cheapest parsing
into the internal data in FriCAS. Is there some way to omit
`interpret' ?
Thanks,
------
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.
