[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] Help with JET
From: |
Bill Page |
Subject: |
RE: [Axiom-developer] Help with JET |
Date: |
Thu, 9 Feb 2006 22:56:34 -0500 |
Tim,
Thanks for the explanation and hints. So far I still can not
see the reason for this error message by as Gregory showed,
this is probably not the issue that causes the failure.
I did a trace at the point of failure and I see:
)trace evalSlotDomain
Function traced: evalSlotDomain
janet:de := generate [eq1,eq2]
1<enter evalSlotDomain : (|JetBundle| (|x| |y| |z|) (|u|))\#<vector
08ecfb98>
2<enter evalSlotDomain : (|x| |y| |z|)\#<vector 08ecfb98>
3<enter evalSlotDomain : |y|\#<vector 08ecfb98>
Internal Error
Unexpected error in call to system function evalSlotDomain
and the same error occurs here in a very different context:
setOutMode(14)$ck
1<enter evalSlotDomain : (|JetBundle| (|x| |y| |z|) (|u|))\#<vector
08ecf850>
2<enter evalSlotDomain : (|x| |y| |z|)\#<vector 08ecf850>
3<enter evalSlotDomain : |y|\#<vector 08ecf850>
Internal Error
Unexpected error in call to system function evalSlotDomain
-----------
Apparently it has something to do with evaluating JetBundle -
something fairly deep down and fundamental to this package.
In the compiler output for JetBundle I see yet another weird
warning, this time perhaps more serious:
[5] unknown Functor code (CATCH (QUOTE G1433) (REPEAT (STEP i 2 1
(QREFELT $ 9)) (call (ELT $ 19) (QREFELT $ 15) i (call (ELT $ 18) DVar i))))
[6] unknown Functor code (CATCH (QUOTE G1432) (REPEAT (STEP i 2 1
(QREFELT $ 8)) (call (ELT $ 19) (QREFELT $ 14) i (call (ELT $ 18) IVar i))))
JetBundle is a domain
JetBundle(IVar:L Sy, DVar:L Sy)
that in the example is called like this:
jb:=JB(['x,'y,'z],['u])
Now, the code in JetBundle that apparently generates the warning
is right at the top of the definition of this domain:
http://wiki.axiom-developer.org/SandBoxJetBundle
V ==> Vector
Sy ==> Symbol
...
nn:NNI := #IVar
mm:NNI := #DVar
nameX:V Sy := new(nn, first IVar)
nameU:V Sy := new(mm, first DVar)
for i in 2..nn repeat
qsetelt!(nameX,i,qelt(IVar,i))
for i in 2..mm repeat
qsetelt!(nameU,i,qelt(DVar,i))
------------
which is apparently copying the List into a Vector for each
parameter. I wonder why not just write?
nameX:=Ivar::V Sy
What's the point of calling 'new' here?
Anyway it seems significant to me that the Internal Error above
occurs during the call to evalSlotDomain for 2nd element of the
first parameter list 'y.
Can you give me some idea for what "unknown Functor code" might
mean in this warning?
Regards,
Bill Page.
- [Axiom-developer] Help with JET, Bill Page, 2006/02/09
- Re: [Axiom-developer] Help with JET, Vanuxem Grégory, 2006/02/09
- Re: [Axiom-developer] Help with JET, root, 2006/02/09
- RE: [Axiom-developer] Help with JET,
Bill Page <=
- 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
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/13
- RE: [Axiom-developer] Help with JET, Bill Page, 2006/02/11