Re: [Axiom-developer] Help with JET

[Vanuxem Grégory]

Hi,

Le jeudi 09 février 2006 à 17:34 -0500, Bill Page a écrit :
> Dear SPAD Gurus;
> 
> I have been working with Werner Seiler's JET package at:
> 
> http://wiki.axiom-developer.org/SandBoxJet
> 
> but on the first example I a stopped by the error message:
> 
>   Internal Error
>   Unexpected error in call to system function evalSlotDomain
> 
> in:
> 
> http://wiki.axiom-developer.org/SandBoxJetFigure4
> 
> Apparently this is related to a warning in the compile of:
> 
> http://wiki.axiom-developer.org/SandBoxDifferentialEquation
> 
> Does anyone know what this message means?
> 
> Warnings: 
>       [1] generate: not known that (Ring) is of mode (CATEGORY domain
> (SIGNATURE order ((NonNegativeInteger) $)) (SIGNATURE coerce ((OutputForm)
> $)) (SIGNATURE printSys ((OutputForm) (List D))) (SIGNATURE display ((Void)
> $)) (SIGNATURE copy ($ $)) (SIGNATURE retract ((List D) $)) (SIGNATURE
> jacobiMatrix ((List (SparseEchelonMatrix JB D)) $)) (SIGNATURE generate ($
> (List D))) (SIGNATURE join ($ $ $)) (SIGNATURE insert ($ (List D) $))
> (SIGNATURE dimension ((NonNegativeInteger) $ (NonNegativeInteger)))
> (SIGNATURE setSimpMode ((NonNegativeInteger) (NonNegativeInteger)))
> (SIGNATURE simplify ((Record (: SDe $) (: IC (List D))) $)) (SIGNATURE
> extractSymbol ((SparseEchelonMatrix JB D) $ (Boolean))) (SIGNATURE
> analyseSymbol ((Record (: Rank (NonNegativeInteger)) (: NumMultVar
> (NonNegativeInteger)) (: Betas (List (NonNegativeInteger))))
> (SparseEchelonMatrix JB D))) (SIGNATURE prolongSymbol ((SparseEchelonMatrix
> JB D) (SparseEchelonMatrix JB D))) (SIGNATURE prolongMV ((Record (: Rank
> (NonNegativeInteger)) (: NumMultVar (NonNegativeInteger)) (: Betas (List
> (NonNegativeInteger)))) (Record (: Rank (NonNegativeInteger)) (: NumMultVar
> (NonNegativeInteger)) (: Betas (List (NonNegativeInteger)))))) (SIGNATURE
> project ($ $ (NonNegativeInteger))) (SIGNATURE prolong ((Record (: SDe $) (:
> IC (List D))) $)) (SIGNATURE prolong ((Record (: SDe $) (: IC (List D))) $
> (NonNegativeInteger))) (SIGNATURE tableau ((SparseEchelonMatrix JB D)
> (SparseEchelonMatrix JB D) (Differential JB D))) (SIGNATURE tableau
> ((SparseEchelonMatrix JB D) (SparseEchelonMatrix JB D) (List (Differential
> JB D)))))

printSys doesn't use 'generate' and stop with the same error.

If you trace DE (DifferentialEquation) you'll see that these functions
are never called. May be a too complicated type for the actual axiom.

Cheers,

Greg

> -----------
> 
> Any help and/or suggestions would be greatly appreciated.
> 
> Regards,
> Bill Page.
> 
> 
> 
> 
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-developer
>