Something goes wrong with the display of a SquareMatrix with computed dependent size parameter that is passed as a parameter to a type. Here is an example from an experimental domain on the wiki:
http://axiom-wiki.newsynthesis.org/SandBoxDifferentialGeometry/diff?rev=5 DifferentialGeometry(CoefRing, listIndVar : List Symbol, g:SMR) : Export == Implement where CoefRing : Join(IntegralDomain, Comparable) DERHAM ==> DeRhamComplex(CoefRing, listIndVar) ... R ==> Expression(CoefRing) SMR ==> SquareMatrix(#listIndVar,R (1) -> )version Value = "FriCAS 2014-09-10 compiled at Thu Oct 2 14:05:59 EDT 2014" (1) -> G:=diagonalMatrix([1,1,1]) +1 0 0+ | | (1) |0 1 0| | | +0 0 1+ Type: Matrix(Integer) (2) -> X := DIFGEOM(Integer,[x,y,z],G) (2) DifferentialGeometry(Integer,[x,y,z],#2A((((0 . 1) . #1=(0 . 1)) #2=((0 . 0) . #1#) #2#) (#2# ((0 . 1) . #1#) #2#) (#2# #2# ((0 . 1) . #1#)))) Type: Type (3) -> [dx,dy,dz] := [generator(i)$X for i in 1..3] (3) [dx,dy,dz] Type: List(DifferentialGeometry(Integer,[x,y,z],#2A((((0 . 1) . #1=(0 . 1)) #2=((0 . 0) . #1#) #2#) (#2# ((0 . 1) . #1#) #2#) (#2# #2# ((0 . 1) . #1#))))) -- The matrix is printed correctly if we pass the size as a parameter instead. For example: DifferentialGeometry(dim:NNI, CoefRing, listIndVar : DirectProduct(dim,Symbol), g:SMR) : Export == Implement where CoefRing : Join(IntegralDomain, Comparable) DERHAM ==> DeRhamComplex(CoefRing, members listIndVar) ... R ==> Expression(CoefRing) SMR ==> SquareMatrix(dim,R) -- Bill Page. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.
