Serge D. Mechveliani wrote:
> >
> > Well, of course, you can put the parse-part on the SPAD or on the
> > HASKELL site, whatever is better for you, but if Docon directly produces
> > the command line syntax of FriCAS, then FriCAS can basically just take
> > your string and execute it, because there is already a builtin parser
> > for the interpreter language.
>
> Again, I expect that this builtin parser of FriCAS will parse the data
> like "f = (x^2 + 4*x*y + 5*y**3)" much longer (probably) that it takes
> the proper evaluation of factorIntPoly_axiom(f).
FYI, loop which 1000 parses "f = (x^2 + 4*x*y + 5*y**3)" takes 1.26 s
on my machine (2GHz Celeron 530). Loop which 1000 factors
"x^2 + 4*x*y + 5*y^3" takes 0.15. Evaluating 1000 times parsed
form of "factor(x^2 + 4*x*y + 5*y^3)" takes 2.2 sec.
AFAICS 80% of parser time is spent looking up information about
global variables -- this is probably due to runtime error checking
inserted by Lisp compiler. This could be eliminated by turning
off error checking or by more efficient coding. In other words:
parser could be much faster, but up to now nobody cared enough
to do it.
Evaluator tries hard to convert data so that types match, and
this can take a lot of time.
--
Waldek Hebisch
[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.
