bugAxiom Computer Algebra System - Bugs: bug #4557, LODO1 fails to bootstrap

 
 

You are not allowed to post comments on this tracker with your current authentication level.

bug #4557: LODO1 fails to bootstrap

Submitted by:  David MentrĂ© <dmentre>
Submitted on:  Thu 31 Jul 2003 05:11:23 PM UTC  
 
Category: algebraSeverity: 3 - Normal
Item Group: code bugStatus: None
Privacy: PublicAssigned to: None
Originator Name: Tim DalyOpen/Closed: Closed
Release: Monday June 9, 2003 at 01:30:39Reproducibility: None
Fixed Release: Fri, 5 Sep 2003 01:40:43 -0400
Error message: 
            • comp fails at level 1 with expression: ******
Example of code trigerring the bug: 
Internal cause: 

Thu 31 Jul 2003 05:11:23 PM UTC, original submission:

LODO1 abbreviates domain LinearOrdinaryDifferentialOperator1

            • comp fails at level 1 with expression: ******

((DEF (|LinearOrdinaryDifferentialOperator1| A)
(NIL (|DifferentialRing|)) (NIL NIL)
(|LinearOrdinaryDifferentialOperator| A
(|elt| A |differentiate|))))

            • level 1 ******

$x:= (DEF (LinearOrdinaryDifferentialOperator1 A) (NIL (DifferentialRing)) (NIL NIL) (LinearOrdinaryDifferentialOperator A (elt A differentiate)))
$m:= $EmptyMode
$f:=
((((|$DomainsInScope| # #))))

>> Apparent user error:
bad == form
(DEF (LinearOrdinaryDifferentialOperator1 A) ( ) ( ) (LinearOrdinaryDifferentialOperator A (elt A differentiate)))

protected-symbol-warn called with (NIL)

David Mentré <dmentre>
Project Administrator

 

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

CC list is empty

 

Do you think this task is very important?
If so, you can click here to add your encouragement to it.
This task has 0 encouragements so far.

Only logged-in users can vote.

 

Please enter the title of George Orwell's famous dystopian book (it's a date):

 

 

Follow 4 latest changes.

Date Changed By Updated Field Previous Value => Replaced By
Fri 05 Sep 2003 04:16:33 PM UTCdmentreOpen/ClosedOpen=>(Error - Not Found)
  Fixed Release=>
Sat 02 Aug 2003 11:04:51 AM UTCdmentreCategoryNone=>(Error - Not Found)
  Item GroupNone=>(Error - Not Found)

Back to the top


Powered by Savane 3.1-cleanup1