Re: [Axiom-math] Axiom: Errors on suse 10.2, 32 bit

[Bill Page]

Constantine,

I think you should use:

   -- map applies simplify to each cell of Acon
   Acon := map(simplify,Acon)

Simplify does not automatically apply to each cell.

With this change I get the result:

(6) ->  Aconnullity := nullity(Acon)

   (6)  2
                                                        Type: PositiveInteger0

Regards,
Bill Page.

On 11/1/07, Constantine Frangos wrote:
> ...
> Any assistance with the following would be appreciated:
>
> (1) I am trying to run the program below testkinemat1, but axiom does not
> seem to find the built-in functions nullity() (and simplify()) for the
> symbolic matrix Acon, and gives error messages.
>
> ...
> testkinemat1() ==
> --)read expandsincos.input
>  Acon := matrix([[1 , 0 , Lo1*sin(phi) , -sin(phi)*a , 0 , 0 , 0 , 0 , 0],_
> [0 , 1 , -Lo1*cos(phi) , a*cos(phi) , 0 , 0 , 0 , 0 , 0],_
> [1 , 0 , -Lo1*sin(phi) , 0 , -a*sin(phi), 0 , 0 , 0 , 0],_
> [0 , 1 , Lo1*cos(phi) , 0 , a*cos(phi) , 0 , 0 , 0 , 0],_
> [1,0,-Lc*cos(phi)+Lo1*sin(phi),0,0,0,-a*sin(phi)*cos(delta3)_
> -a*cos(phi)*sin(delta3),0,0],_
> [0,1,-Lc*sin(phi)-Lo1*cos(phi),0,0,0,a*cos(phi)*cos(delta3)_
> -a*sin(phi)*sin(delta3),0,0],_
> [1,0,-Lc*cos(phi)-Lo1*sin(phi),0,0,(-2*sin(phi)*Lo1*sin(delta3)-sin(phi)*_
> Lc*cos(delta3)-cos(phi)*Lc*sin(delta3))*a/sqrt(4*Lo1^2*sin(delta3)^2+_
> 4*Lo1*sin(delta3)*Lc*cos(delta3)+Lc^2*cos(delta3)^2+Lc^2*sin(delta3)^2),0,0,0],_
>
> [0,1,-Lc*sin(phi)+Lo1*cos(phi),0,0,a*(2*cos(phi)*Lo1*sin(delta3)+_
> cos(phi)*Lc*cos(delta3)-sin(phi)*Lc*sin(delta3))/sqrt(4*Lo1^2*sin(delta3)^2+_
> 4*Lo1*sin(delta3)*Lc*cos(delta3)+Lc^2*cos(delta3)^2+Lc^2*sin(delta3)^2),0,0,0],_
> [0 , 0 , 0 , 0 , 0 , 1 , 1 , 0 , -k]])
> -- pause()
>  Acon := simplify(Acon)
>  rankAcon := rank(Acon)
>  Acone := rowEchelon(Acon)
>  Aconnull := nullSpace(Acon)
>  Aconnullity := nullity(Acon)
> --detAcon:=determinant(Acon)
> --detAcon:=factor(detAcon)
> --detAcon:=expandsincos(detAcon)
> --detAcon:=simplify(detAcon)
> --end of program.
>