Re: [fricas-devel] Announce: FriCAS 1.3.1 has been released
Hi Kurt: > Function: -? : % -> % is missing from domain: NonNegativeInteger >Internal Error >The function - with signature $$ is missing from domain > NonNegativeInteger I encounter exactly this error message in commit "Fix problem with 'latex(1)'". It's a work around, I still don't know the root cause of this. You should provid a (minimal) example. > BTW I still find it strange to have (show NNI): That's fixed by my recent "fix )show" patches. -- 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] Announce: FriCAS 1.3.1 has been released
On Saturday, 18 February 2017 20:15:31 UTC+1, Waldek Hebisch wrote: > > Kurt Pagani wrote: > > > > While I also get a lot of errors mostly caused by string::OutputForm > there > > is one I have no clue how to resolve (see below). > > Although it is clear what is meant by the message I have no clue yet how > to > > fix it. Was there a change related to this between 1.3.0 and 1.3.1? > > > > > > Function: -? : % -> % is missing from domain: NonNegativeInteger > >Internal Error > >The function - with signature $$ is missing from domain > > NonNegativeInteger > > > >Continuing to read the file... > > > Well, direct reason probably is simple: code somewhare tries > to subtract two NonNegativeInteger-s and subtraction is not > defined for NonNegativeInteger. Compiler is supposed to > catch this, but there is clearly a bug and such thing > sometimes escape typechecking. To find out where is the > problem do ')set break break' and look at backtrace. > This reason can be excluded of course :) BTW I still find it strange to have (show NNI): -? : % -> % if $ has ABELGRP an impracticality per se. > > BTW1: This may be some other bug in action, whithout details > it is impossible to say. > I don't want to bore you with details, however, it seems that the error is related to ?*? : (Integer,%) -> % from FreeAbelianGroup when multiplying elements with (-1)@Integer. A workaround is using -? : % -> %. > BTW2: There were several changes in Spad compiler and algebra. > Each of them could in priciple trigger lurking bug. > That's being apparent, so I continue searching. Thank you. Kurt > > -- > 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] Announce: FriCAS 1.3.1 has been released
Kurt Pagani wrote: > > While I also get a lot of errors mostly caused by string::OutputForm there > is one I have no clue how to resolve (see below). > Although it is clear what is meant by the message I have no clue yet how to > fix it. Was there a change related to this between 1.3.0 and 1.3.1? > > > Function: -? : % -> % is missing from domain: NonNegativeInteger >Internal Error >The function - with signature $$ is missing from domain > NonNegativeInteger > >Continuing to read the file... Well, direct reason probably is simple: code somewhare tries to subtract two NonNegativeInteger-s and subtraction is not defined for NonNegativeInteger. Compiler is supposed to catch this, but there is clearly a bug and such thing sometimes escape typechecking. To find out where is the problem do ')set break break' and look at backtrace. BTW1: This may be some other bug in action, whithout details it is impossible to say. BTW2: There were several changes in Spad compiler and algebra. Each of them could in priciple trigger lurking bug. -- 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] Announce: FriCAS 1.3.1 has been released
While I also get a lot of errors mostly caused by string::OutputForm there
is one I have no clue how to resolve (see below).
Although it is clear what is meant by the message I have no clue yet how to
fix it. Was there a change related to this between 1.3.0 and 1.3.1?
Function: -? : % -> % is missing from domain: NonNegativeInteger
Internal Error
The function - with signature $$ is missing from domain
NonNegativeInteger
Continuing to read the file...
Thanks
Kurt
On Thursday, 16 February 2017 14:31:01 UTC+1, Waldek Hebisch wrote:
>
> Martin Baker wrote:
> >
> > I am curious about the following error which compiled without error on
> > previous releases.
> >
> > This is not a problem (might even be be an advantage) because it forces
> > me to write:
> > print (message "value of a is " << a)
> > instead of:
> > print ("value of a is " << a)
> >
> > There is also a change to runtime, I suspect this may be change in Lisp?
> > In the last release display of quotes around strings was suppressed in
> > bash output (even without 'message' function) but not in this release.
> >
> > As I say, this is not important feel free to ignore, just interested to
> > know if it was deliberate or due to unpredictability of compiler.
>
> This is delibarate change to avoid unpredictability of compiler.
> From the announcemnet:
>
> > - Removed special handling of coercion of String to OutputForm
> > from Spad compiler.
>
> Compiler treated '"string"::OutputForm' specially giving
> different result than 'coerce("string")@OutputForm'. This
> could lead to errors. I write about this few months ago,
> when this change was made.
>
> --
> 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] Announce: FriCAS 1.3.1 has been released
Martin Baker wrote:
>
> I am curious about the following error which compiled without error on
> previous releases.
>
> This is not a problem (might even be be an advantage) because it forces
> me to write:
> print (message "value of a is " << a)
> instead of:
> print ("value of a is " << a)
>
> There is also a change to runtime, I suspect this may be change in Lisp?
> In the last release display of quotes around strings was suppressed in
> bash output (even without 'message' function) but not in this release.
>
> As I say, this is not important feel free to ignore, just interested to
> know if it was deliberate or due to unpredictability of compiler.
This is delibarate change to avoid unpredictability of compiler.
>From the announcemnet:
> - Removed special handling of coercion of String to OutputForm
> from Spad compiler.
Compiler treated '"string"::OutputForm' specially giving
different result than 'coerce("string")@OutputForm'. This
could lead to errors. I write about this few months ago,
when this change was made.
--
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] Announce: FriCAS 1.3.1 has been released
This is compy of announcement posted in comp.math.symbolic: FriCAS is an advanced computer algebra system. Its capabilities range from calculus (integration and differentiation) to abstract algebra. It can plot functions and has integrated help system. FriCAS 1.3.1 should build on Linux and many Unix like systems (for example Mac OSX and Cygwin). FriCAS is build on top of Common Lisp; several Lisps can compile and run FriCAS -- currently supported are GCL, SBCL, Clisp, ECL, Closure CL (former OpenMCL). Project page: http://fricas.sf.net Download pages: http://fricas.sf.net/download.html https://sourceforge.net/projects/fricas/files/ Mailing list. Please sign up before posting a message. http://groups.google.com/group/fricas-devel?hl=en Notable changes (compared to version 1.3.0): - Categories with associative multiplication are now subcategories of categories with nonassociative multiplication. - Inlining optimization in now effective also in command line (interpreter) compiler. - Added conversions between finitely presendted groups and permutation groups (Todd-Coxeter algorithm) and back. - Removed special handling of coercion of String to OutputForm from Spad compiler. - Former FramedModule is renamed to FractionalIdealAsModule. Added new FramedModule. - Whole interpreter is now included in executable (no need to load parts before use). Bug fixes, in particular: - Fixed build with sbcl-1.3.13. - Limits using the name of variable in limit point work now. - A few output fixes. - Several integrator fixes. - Removed wrond interpreter transform of '~='. - Fixed compilation of type parameters containing non-type values. - Plots sometimes used single precision. Now they should always use double precision. -- 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.
