login  home  contents  what's new  discussion  bug reports help  links  subscribe  changes  refresh  edit

 Submitted by : (unknown) at: 2007-11-17T22:00:21-08:00 (15 years ago) Name : Axiom Version : default friCAS-20090114 Axiom-20050901 OpenAxiom-20091012 OpenAxiom-20110220 OpenAxiom-Release-141 Category : Axiom Aldor Interface Axiom Compiler Axiom Library Axiom Interpreter Axiom Documentation Axiom User Interface building Axiom from source lisp system MathAction Doyen CD Reduce Axiom on Windows Axiom on Linux Severity : critical serious normal minor wishlist Status : open closed rejected not reproducible fix proposed fixed somewhere duplicate need more info Optional subject :   Optional comment :

I'm trying to produce a vector by several cross products
All variables and elements of the vectors are polynomial integers
All vectors are Vector Polynomial Integer

X := cross(A0, A1)
Y := cross(A2, A3)
B0 := A0 + a0X + a0Y
B1 := A1 + a1X + a1Y
B2 := A2 + a2X + a2Y
B3 := A3 + a3X + a3Y
C0 = cross(B0, B1)
C1 = cross(B2, B3)
D=cross(C0, C1)

On the last command Axiom stop working and hang. Is there any workaround for this problem ?

can't reproduce this problem --Bill Page, Sat, 28 May 2005 21:27:25 -0500 reply
Why do you use = in the last 3 lines?

I can't reproduce this problem. The following works for me:

axiom
(a0,a1,a2,a3):Polynomial Integer
Type: Void
axiom
(a00,a01,a02):Polynomial Integer
Type: Void
axiom
A0:=vector [a00,a01,a02] (1)
Type: Vector(Polynomial(Integer))
axiom
(a10,a11,a12):Polynomial Integer
Type: Void
axiom
A1:=vector [a10,a11,a12] (2)
Type: Vector(Polynomial(Integer))
axiom
X:=cross(A0,A1) (3)
Type: Vector(Polynomial(Integer))
axiom
(a20,a21,a22):Polynomial Integer
Type: Void
axiom
A2:=vector [a20,a21,a22] (4)
Type: Vector(Polynomial(Integer))
axiom
(a30,a31,a32):Polynomial Integer
Type: Void
axiom
A3:=vector [a30,a31,a32] (5)
Type: Vector(Polynomial(Integer))
axiom
Y:=cross(A2,A3) (6)
Type: Vector(Polynomial(Integer))
axiom
B0 := A0 + a0*X + a0*Y (7)
Type: Vector(Polynomial(Integer))
axiom
B1 := A1 + a1*X + a1*Y (8)
Type: Vector(Polynomial(Integer))
axiom
B2 := A2 + a2*X + a2*Y (9)
Type: Vector(Polynomial(Integer))
axiom
B3 := A3 + a3*X + a3*Y (10)
Type: Vector(Polynomial(Integer))
axiom
C0 := cross(B0,B1) (11)
Type: Vector(Polynomial(Integer))
axiom
C1 := cross(B2,B3) (12)
Type: Vector(Polynomial(Integer))
axiom
D := cross(C0,C1);
Type: Vector(Polynomial(Integer))

But the last expression is very large and is too large to display on here on MathAction.

Please post the actual Axiom commands that will cause Axiom to hang.

here are actual commands: --unknown, Sun, 29 May 2005 01:50:06 -0500 reply
I'm using axiom foe windows with WinTexMAcs? - may be that a problem ?

Example code:
  (a0x, a1x, a2x, a3x, a0y, a1y, a2y, a3y) : Polynomial Integer
(PR0, PR1, PR2, PR3, PRN0, PRN1, PRN2, PRN3, X, Y, Z, XN, YN, ZN): Vector Polynomial  Integer
PR0 := vector[PR0x, PR0y, PR0z]
PR1 := vector[PR1x, PR1y, PR1z]
PR2 := vector[PR2x, PR2y, PR2z]
PR3 := vector[PR3x, PR3y, PR3z]
X := cross(PR0, PR3)
Y := cross(PR1, PR2)
PRN0 := PR0 + a0x*X + a0y*Y
PRN3 := PR3 + a3x*X + a3y*Y
XN := cross(PRN0, PRN3)
PRN1 := PR1 + a1x*X + a1y*Y
PRN2 := PR2 + a2x*X + a2y*Y
YN := cross(PRN1, PRN2)
ZN := cross(XN, YN)


You code is not working for me too - hang on the last command

D := cross(C0,C1)

update : it's WInTexMAcs? problem --unknown, Sun, 29 May 2005 02:22:26 -0500 reply
I've launched your test in axiom console without WinTexMacs? and it's working. Any advices how to fix WinTexMacs? ?

property change --unknown, Sun, 29 May 2005 02:23:37 -0500 reply
Severity: critical => minor Status: open => closed

 Subject:   Be Bold !! ( 15 subscribers )