[om] new bug in arith1

[Bill Naylor]

Hi,

looks like there is a bug in the new example for times in arith1,

eq (times (matrix (matrixrow ( 1 , 2 ) , matrixrow ( 3 , 4 ) ) , matrix
(matrixrow ( 5 , 6 ) , matrixrow ( 7 , 8 ) ) ) , matrix
    (matrixrow ( 19 , 20 ) , matrixrow ( 43 , 50 ) ) )
                      ~~

should be:

eq (times (matrix (matrixrow ( 1 , 2 ) , matrixrow ( 3 , 4 ) ) , matrix
(matrixrow ( 5 , 6 ) , matrixrow ( 7 , 8 ) ) ) , matrix
    (matrixrow ( 19 , 22 ) , matrixrow ( 43 , 50 ) ) )

cheers,

Bill

--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems