Re: [fricas-devel] [PATCH] Minor code changes to computation.spad

2016-09-15 Thread Waldek Hebisch
Martin Baker wrote:
> 
> Minor code changes to computation.spad
> 1) Change sayMsg to print.
> 2) Improve OutputForm, don't use string.
> 3) implement CoercibleTo(OutputForm).

I see that you have a lot of code like:

  str::Symbol::OutputForm

If you want to print string without quotes use 'message':

  message(str)

gives you desired OutputForm.  For nonconstant strings
this is more efficient and in all cases is clearer
than going via symbols.

-- 
  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 post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.


[fricas-devel] [PATCH] Minor code changes to computation.spad

2016-09-15 Thread Martin Baker

Minor code changes to computation.spad
1) Change sayMsg to print.
2) Improve OutputForm, don't use string.
3) implement CoercibleTo(OutputForm).

new file is here:
https://github.com/martinbaker/multivector/blob/master/computation.spad

patch is here:
https://github.com/martinbaker/multivector/blob/master/computation2.patch

Martin B

--
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 post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.


[fricas-devel] Speed of interpreter code

2016-09-15 Thread Waldek Hebisch
I have just commited patch which makes inlinig effective
in interpreter code.  Now low level functions in interpreter
should run at similar speed as Spad code.

Note: by default interpter functions are compiled, while
command line is passed to Lisp interpreter.  So loops
on command line are likely to be slow.  But loops in
compiled functions should be fast.  Also, for successful
compilation function must be type correct.  Otherwise
interpreter may try to execute it in interpreted mode
which is even slower than Lisp interpreter.  Interpreter
prints a message if it can not compile a function.
If you care about speed make sure that you remove
all type error so that you get compiled code.

-- 
  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 post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.


Re: [fricas-devel] [PATCH] use SVREF for 1-d array/vector

2016-09-15 Thread Waldek Hebisch
oldk1331 wrote:
> > - We probaly should be testing speed after doing:
> >
> > )lisp (proclaim '(optimize (speed 3) (safety 0)))
> 
> I can't believe that this is not the default!  Adding it
> to my ~/.fricas.init .

On testsuite safety 0 gives something like 10-20% speedup.
It is probably largest speedup from any simple single
change.  But it is still not _very_ large.  OTOH safety 0
makes debugging much harder.  IME during developement
the extra speed is not worth frustration when
debugging at safety 0.  For releases 20% speedup/slowdown
is unlikely to be a deal breaker.  But misterious crash
without any indication what went wrong may discourage
potential users.  And without resonable error
message it is extremaly hard to remotely diagnose
a problem.

I used FriCAS compiled at safety 0 to perform some
largish computations, where it gave substatial
speedup.  We probably should compile some selected
domains at safety 0, this should give us most
gains with limited impact on debugging.

-- 
  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 post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.


Re: [fricas-devel] [PATCH] use SVREF for 1-d array/vector

2016-09-15 Thread Waldek Hebisch
> 
> So only apply the change on array1.spad then?

I have applied it.

> One finaly reason to use SVREF: according to
> https://sourceforge.net/p/sbcl/mailman/message/30609918/
> it's 100x faster to compile SVREF than AREF.

I will look at this more.  I see no difference in
build time, so impact on total compile time is
limited.

-- 
  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 post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.


Re: [fricas-devel] [PATCH] update URLs in computation.spad

2016-09-15 Thread Waldek Hebisch
Martin Baker wrote:
> 
> PS I do have some further changes to this file (comments and minor code 
> changes) but I will send those separately as I think thats what you prefer.

Yes, that way it goes smoother.

-- 
  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 post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.


[fricas-devel] [PATCH] update URLs in computation.spad

2016-09-15 Thread Martin Baker

This patch only modifies URLs, no other changes.
Spaces are removed and URLs updated, invalid URLs removed.

new file is here:
https://github.com/martinbaker/multivector/blob/master/computation.spad

and patch is here:
https://github.com/martinbaker/multivector/blob/master/computation.patch

Martin

PS I do have some further changes to this file (comments and minor code 
changes) but I will send those separately as I think thats what you prefer.


--
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 post to this group, send email to fricas-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.