[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Help with JET
From: |
Vanuxem Grégory |
Subject: |
Re: [Axiom-developer] Help with JET |
Date: |
Fri, 10 Feb 2006 01:00:03 +0100 |
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
>
- [Axiom-developer] Help with JET, Bill Page, 2006/02/09
- Re: [Axiom-developer] Help with JET,
Vanuxem Grégory <=
- Re: [Axiom-developer] Help with JET, root, 2006/02/09
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/09
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/09
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- Re: [Axiom-developer] Help with JET, root, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/11
- RE: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/13