MathAction #271 )show Expression Boolean gives a list

Topics

FrontPage
- IssueTracker
  - #271 )show Expression Boolean gives a list <-- You are here.

As I was looking for boolean simplification, I type )sh Expression Boolean. I get the list of the real expressions. So I type

axiom

sin (A::Expression Boolean) or true.

  Line   1: sin (A::Expression Boolean) or true.
           ...................................A
  Error  A: syntax error at top level
  Error  A: Improper syntax.
   2 error(s) parsing

Axiom disapproves

>> System error: Caught fatal error [memory may be damaged]?...

And the axiom process died the command-line after.

cannot reproduce axiom process died --Bill Page, Mon, 27 Feb 2006 12:37:15 -0600 reply

I can not reproduce your observation that:

the axiom process died the command-line after.

This does not happen for me on at least the Windows version of Axiom.

But I do find it very odd that Axiom allows the construction of the domain Expression Boolean without complaint:

axiom

x:Expression Boolean:=true

$\label{eq1} \mbox{\rm true}$

(1)

Type: Expression(Boolean)

The scary sounding message: 'Caught fatal error [memory may be damaged]?' occurs for many operations applied to this object.

The definition of the constructor Expression R: OrderedSet seems wrong to me since there are may operations exported by Expression that are not naturally interpreted over a domain that is just an OrderedSet. For example Boolean is considered ordered as follows:

axiom

Boolean has OrderedSet

$\label{eq2} \mbox{\rm true}$

(2)

Type: Boolean

axiom

true > false

$\label{eq3} \mbox{\rm true}$

(3)

Type: Boolean

although we might also question the wisdom of considering Boolean ordered in this way.

#271 )show Expression Boolean gives a list cannot reproduce axiom process died --root, Fri, 03 Mar 2006 10:02:57 -0600 reply

I've been running thousands of integrals thru axiom recently. There is a problem related to interrupting Axiom while garbage collection is running (I'm guessing) and, very occasionally, Axiom will generate an error or die completely (only once so far). However if Axiom is not interrupted I have yet to see it fail.

The "memory may be damaged" message occurs quite often but I have yet to see any surface damage on the DIMM packages :-). I'm not sure why Bill thought this was a reasonable error message but it does not seem to be a problem. Only console interrupts have caused failure so far and those seem to be related to some race condition in garbage collection.

Tim

fixed in FriCAS --kratt6, Sat, 19 Jan 2008 00:52:27 -0800 reply

Status: open => fix proposed

... --gdr, Sun, 18 May 2008 13:25:45 -0700 reply

Status: fix proposed => fixed somewhere

no patch available

Patch from Fricas --alfredo, Thu, 16 Oct 2008 03:38:56 -0700 reply

http://fricas.svn.sourceforge.net/viewvc/fricas/trunk/src/interp/i-coerce.boot?r1=105&r2=189&view=patch

Fixed in OpenAxiom --gdr, Fri, 17 Oct 2008 16:52:24 -0700 reply

Subject: Be Bold !!

	( 14 subscribers )