matrix.raml.xml

contents

<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet type="text/xsl" href="../../xml/xtcHTML.xsl"?><problem xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../../xml/xtc.xsd" type="complexity"><trs><rules><rule><lhs><funapp><name>#abs</name><arg><funapp><name>#0</name></funapp></arg></funapp></lhs><rhs><funapp><name>#0</name></funapp></rhs></rule><rule><lhs><funapp><name>#abs</name><arg><funapp><name>#neg</name><arg><var>@x</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#pos</name><arg><var>@x</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><var>@x</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#pos</name><arg><var>@x</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>#abs</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>*</name><arg><var>@x</var></arg><arg><var>@y</var></arg></funapp></lhs><rhs><funapp><name>#mult</name><arg><var>@x</var></arg><arg><var>@y</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>+</name><arg><var>@x</var></arg><arg><var>@y</var></arg></funapp></lhs><rhs><funapp><name>#add</name><arg><var>@x</var></arg><arg><var>@y</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>attach</name><arg><var>@line</var></arg><arg><var>@m</var></arg></funapp></lhs><rhs><funapp><name>attach#1</name><arg><var>@line</var></arg><arg><var>@m</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>attach#1</name><arg><funapp><name>::</name><arg><var>@x</var></arg><arg><var>@xs</var></arg></funapp></arg><arg><var>@m</var></arg></funapp></lhs><rhs><funapp><name>attach#2</name><arg><var>@m</var></arg><arg><var>@x</var></arg><arg><var>@xs</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>attach#1</name><arg><funapp><name>nil</name></funapp></arg><arg><var>@m</var></arg></funapp></lhs><rhs><funapp><name>nil</name></funapp></rhs></rule><rule><lhs><funapp><name>attach#2</name><arg><funapp><name>::</name><arg><var>@l</var></arg><arg><var>@ls</var></arg></funapp></arg><arg><var>@x</var></arg><arg><var>@xs</var></arg></funapp></lhs><rhs><funapp><name>::</name><arg><funapp><name>::</name><arg><var>@x</var></arg><arg><var>@l</var></arg></funapp></arg><arg><funapp><name>attach</name><arg><var>@xs</var></arg><arg><var>@ls</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>attach#2</name><arg><funapp><name>nil</name></funapp></arg><arg><var>@x</var></arg><arg><var>@xs</var></arg></funapp></lhs><rhs><funapp><name>nil</name></funapp></rhs></rule><rule><lhs><funapp><name>lineMult</name><arg><var>@l</var></arg><arg><var>@m2</var></arg></funapp></lhs><rhs><funapp><name>lineMult#1</name><arg><var>@m2</var></arg><arg><var>@l</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>lineMult#1</name><arg><funapp><name>::</name><arg><var>@x</var></arg><arg><var>@xs</var></arg></funapp></arg><arg><var>@l</var></arg></funapp></lhs><rhs><funapp><name>::</name><arg><funapp><name>mult</name><arg><var>@l</var></arg><arg><var>@x</var></arg></funapp></arg><arg><funapp><name>lineMult</name><arg><var>@l</var></arg><arg><var>@xs</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>lineMult#1</name><arg><funapp><name>nil</name></funapp></arg><arg><var>@l</var></arg></funapp></lhs><rhs><funapp><name>nil</name></funapp></rhs></rule><rule><lhs><funapp><name>m1</name><arg><var>@x</var></arg></funapp></lhs><rhs><funapp><name>::</name><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>m2</name><arg><var>@x</var></arg></funapp></lhs><rhs><funapp><name>::</name><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>m3</name><arg><var>@x</var></arg></funapp></lhs><rhs><funapp><name>::</name><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>m4</name><arg><var>@x</var></arg></funapp></lhs><rhs><funapp><name>::</name><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg><arg><funapp><name>::</name><arg><funapp><name>::</name><arg><funapp><name>#abs</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>makeBase</name><arg><var>@m</var></arg></funapp></lhs><rhs><funapp><name>makeBase#1</name><arg><var>@m</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>makeBase#1</name><arg><funapp><name>::</name><arg><var>@l</var></arg><arg><var>@m'</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>mkBase</name><arg><var>@l</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>makeBase#1</name><arg><funapp><name>nil</name></funapp></arg></funapp></lhs><rhs><funapp><name>nil</name></funapp></rhs></rule><rule><lhs><funapp><name>matrixMult</name><arg><var>@m1</var></arg><arg><var>@m2</var></arg></funapp></lhs><rhs><funapp><name>matrixMult'</name><arg><var>@m1</var></arg><arg><funapp><name>transAcc</name><arg><var>@m2</var></arg><arg><funapp><name>makeBase</name><arg><var>@m2</var></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>matrixMult'</name><arg><var>@m1</var></arg><arg><var>@m2</var></arg></funapp></lhs><rhs><funapp><name>matrixMult'#1</name><arg><var>@m1</var></arg><arg><var>@m2</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>matrixMult'#1</name><arg><funapp><name>::</name><arg><var>@l</var></arg><arg><var>@ls</var></arg></funapp></arg><arg><var>@m2</var></arg></funapp></lhs><rhs><funapp><name>::</name><arg><funapp><name>lineMult</name><arg><var>@l</var></arg><arg><var>@m2</var></arg></funapp></arg><arg><funapp><name>matrixMult'</name><arg><var>@ls</var></arg><arg><var>@m2</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>matrixMult'#1</name><arg><funapp><name>nil</name></funapp></arg><arg><var>@m2</var></arg></funapp></lhs><rhs><funapp><name>nil</name></funapp></rhs></rule><rule><lhs><funapp><name>matrixMult3</name><arg><var>@m1</var></arg><arg><var>@m2</var></arg><arg><var>@m3</var></arg></funapp></lhs><rhs><funapp><name>matrixMult</name><arg><funapp><name>matrixMult</name><arg><var>@m1</var></arg><arg><var>@m2</var></arg></funapp></arg><arg><var>@m3</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>matrixMultList</name><arg><var>@acc</var></arg><arg><var>@mm</var></arg></funapp></lhs><rhs><funapp><name>matrixMultList#1</name><arg><var>@mm</var></arg><arg><var>@acc</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>matrixMultList#1</name><arg><funapp><name>::</name><arg><var>@m</var></arg><arg><var>@ms</var></arg></funapp></arg><arg><var>@acc</var></arg></funapp></lhs><rhs><funapp><name>matrixMultList</name><arg><funapp><name>matrixMult</name><arg><var>@acc</var></arg><arg><var>@m</var></arg></funapp></arg><arg><var>@ms</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>matrixMultList#1</name><arg><funapp><name>nil</name></funapp></arg><arg><var>@acc</var></arg></funapp></lhs><rhs><var>@acc</var></rhs></rule><rule><lhs><funapp><name>matrixMultOld</name><arg><var>@m1</var></arg><arg><var>@m2</var></arg></funapp></lhs><rhs><funapp><name>matrixMult'</name><arg><var>@m1</var></arg><arg><funapp><name>transpose</name><arg><var>@m2</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>mkBase</name><arg><var>@m</var></arg></funapp></lhs><rhs><funapp><name>mkBase#1</name><arg><var>@m</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>mkBase#1</name><arg><funapp><name>::</name><arg><var>@l</var></arg><arg><var>@m'</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>::</name><arg><funapp><name>nil</name></funapp></arg><arg><funapp><name>mkBase</name><arg><var>@m'</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>mkBase#1</name><arg><funapp><name>nil</name></funapp></arg></funapp></lhs><rhs><funapp><name>nil</name></funapp></rhs></rule><rule><lhs><funapp><name>mult</name><arg><var>@l1</var></arg><arg><var>@l2</var></arg></funapp></lhs><rhs><funapp><name>mult#1</name><arg><var>@l1</var></arg><arg><var>@l2</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>mult#1</name><arg><funapp><name>::</name><arg><var>@x</var></arg><arg><var>@xs</var></arg></funapp></arg><arg><var>@l2</var></arg></funapp></lhs><rhs><funapp><name>mult#2</name><arg><var>@l2</var></arg><arg><var>@x</var></arg><arg><var>@xs</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>mult#1</name><arg><funapp><name>nil</name></funapp></arg><arg><var>@l2</var></arg></funapp></lhs><rhs><funapp><name>#abs</name><arg><funapp><name>#0</name></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>mult#2</name><arg><funapp><name>::</name><arg><var>@y</var></arg><arg><var>@ys</var></arg></funapp></arg><arg><var>@x</var></arg><arg><var>@xs</var></arg></funapp></lhs><rhs><funapp><name>+</name><arg><funapp><name>*</name><arg><var>@x</var></arg><arg><var>@y</var></arg></funapp></arg><arg><funapp><name>mult</name><arg><var>@xs</var></arg><arg><var>@ys</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>mult#2</name><arg><funapp><name>nil</name></funapp></arg><arg><var>@x</var></arg><arg><var>@xs</var></arg></funapp></lhs><rhs><funapp><name>#abs</name><arg><funapp><name>#0</name></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>split</name><arg><var>@m</var></arg></funapp></lhs><rhs><funapp><name>split#1</name><arg><var>@m</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>split#1</name><arg><funapp><name>::</name><arg><var>@l</var></arg><arg><var>@ls</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>split#2</name><arg><var>@l</var></arg><arg><var>@ls</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>split#1</name><arg><funapp><name>nil</name></funapp></arg></funapp></lhs><rhs><funapp><name>tuple#2</name><arg><funapp><name>nil</name></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>split#2</name><arg><funapp><name>::</name><arg><var>@x</var></arg><arg><var>@xs</var></arg></funapp></arg><arg><var>@ls</var></arg></funapp></lhs><rhs><funapp><name>split#3</name><arg><funapp><name>split</name><arg><var>@ls</var></arg></funapp></arg><arg><var>@x</var></arg><arg><var>@xs</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>split#2</name><arg><funapp><name>nil</name></funapp></arg><arg><var>@ls</var></arg></funapp></lhs><rhs><funapp><name>tuple#2</name><arg><funapp><name>nil</name></funapp></arg><arg><funapp><name>nil</name></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>split#3</name><arg><funapp><name>tuple#2</name><arg><var>@ys</var></arg><arg><var>@m'</var></arg></funapp></arg><arg><var>@x</var></arg><arg><var>@xs</var></arg></funapp></lhs><rhs><funapp><name>tuple#2</name><arg><funapp><name>::</name><arg><var>@x</var></arg><arg><var>@ys</var></arg></funapp></arg><arg><funapp><name>::</name><arg><var>@xs</var></arg><arg><var>@m'</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>transAcc</name><arg><var>@m</var></arg><arg><var>@base</var></arg></funapp></lhs><rhs><funapp><name>transAcc#1</name><arg><var>@m</var></arg><arg><var>@base</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>transAcc#1</name><arg><funapp><name>::</name><arg><var>@l</var></arg><arg><var>@m'</var></arg></funapp></arg><arg><var>@base</var></arg></funapp></lhs><rhs><funapp><name>attach</name><arg><var>@l</var></arg><arg><funapp><name>transAcc</name><arg><var>@m'</var></arg><arg><var>@base</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>transAcc#1</name><arg><funapp><name>nil</name></funapp></arg><arg><var>@base</var></arg></funapp></lhs><rhs><var>@base</var></rhs></rule><rule><lhs><funapp><name>transpose</name><arg><var>@m</var></arg></funapp></lhs><rhs><funapp><name>transpose#1</name><arg><var>@m</var></arg><arg><var>@m</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>transpose#1</name><arg><funapp><name>::</name><arg><var>@xs</var></arg><arg><var>@xss</var></arg></funapp></arg><arg><var>@m</var></arg></funapp></lhs><rhs><funapp><name>transpose#2</name><arg><funapp><name>split</name><arg><var>@m</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>transpose#1</name><arg><funapp><name>nil</name></funapp></arg><arg><var>@m</var></arg></funapp></lhs><rhs><funapp><name>nil</name></funapp></rhs></rule><rule><lhs><funapp><name>transpose#2</name><arg><funapp><name>tuple#2</name><arg><var>@l</var></arg><arg><var>@m'</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>transpose#3</name><arg><var>@m'</var></arg><arg><var>@l</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>transpose#3</name><arg><funapp><name>::</name><arg><var>@y</var></arg><arg><var>@ys</var></arg></funapp></arg><arg><var>@l</var></arg></funapp></lhs><rhs><funapp><name>::</name><arg><var>@l</var></arg><arg><funapp><name>transpose</name><arg><funapp><name>::</name><arg><var>@y</var></arg><arg><var>@ys</var></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>transpose#3</name><arg><funapp><name>nil</name></funapp></arg><arg><var>@l</var></arg></funapp></lhs><rhs><funapp><name>nil</name></funapp></rhs></rule><rule><lhs><funapp><name>transpose'</name><arg><var>@m</var></arg></funapp></lhs><rhs><funapp><name>transAcc</name><arg><var>@m</var></arg><arg><funapp><name>makeBase</name><arg><var>@m</var></arg></funapp></arg></funapp></rhs></rule><relrules><rule><lhs><funapp><name>#add</name><arg><funapp><name>#0</name></funapp></arg><arg><var>@y</var></arg></funapp></lhs><rhs><var>@y</var></rhs></rule><rule><lhs><funapp><name>#add</name><arg><funapp><name>#neg</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg><arg><var>@y</var></arg></funapp></lhs><rhs><funapp><name>#pred</name><arg><var>@y</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>#add</name><arg><funapp><name>#neg</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></arg></funapp></arg><arg><var>@y</var></arg></funapp></lhs><rhs><funapp><name>#pred</name><arg><funapp><name>#add</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></arg><arg><var>@y</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>#add</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg><arg><var>@y</var></arg></funapp></lhs><rhs><funapp><name>#succ</name><arg><var>@y</var></arg></funapp></rhs></rule><rule><lhs><funapp><name>#add</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></arg></funapp></arg><arg><var>@y</var></arg></funapp></lhs><rhs><funapp><name>#succ</name><arg><funapp><name>#add</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></arg><arg><var>@y</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>#mult</name><arg><funapp><name>#0</name></funapp></arg><arg><funapp><name>#0</name></funapp></arg></funapp></lhs><rhs><funapp><name>#0</name></funapp></rhs></rule><rule><lhs><funapp><name>#mult</name><arg><funapp><name>#0</name></funapp></arg><arg><funapp><name>#neg</name><arg><var>@y</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#0</name></funapp></rhs></rule><rule><lhs><funapp><name>#mult</name><arg><funapp><name>#0</name></funapp></arg><arg><funapp><name>#pos</name><arg><var>@y</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#0</name></funapp></rhs></rule><rule><lhs><funapp><name>#mult</name><arg><funapp><name>#neg</name><arg><var>@x</var></arg></funapp></arg><arg><funapp><name>#0</name></funapp></arg></funapp></lhs><rhs><funapp><name>#0</name></funapp></rhs></rule><rule><lhs><funapp><name>#mult</name><arg><funapp><name>#neg</name><arg><var>@x</var></arg></funapp></arg><arg><funapp><name>#neg</name><arg><var>@y</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#pos</name><arg><funapp><name>#natmult</name><arg><var>@x</var></arg><arg><var>@y</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>#mult</name><arg><funapp><name>#neg</name><arg><var>@x</var></arg></funapp></arg><arg><funapp><name>#pos</name><arg><var>@y</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#neg</name><arg><funapp><name>#natmult</name><arg><var>@x</var></arg><arg><var>@y</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>#mult</name><arg><funapp><name>#pos</name><arg><var>@x</var></arg></funapp></arg><arg><funapp><name>#0</name></funapp></arg></funapp></lhs><rhs><funapp><name>#0</name></funapp></rhs></rule><rule><lhs><funapp><name>#mult</name><arg><funapp><name>#pos</name><arg><var>@x</var></arg></funapp></arg><arg><funapp><name>#neg</name><arg><var>@y</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#neg</name><arg><funapp><name>#natmult</name><arg><var>@x</var></arg><arg><var>@y</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>#mult</name><arg><funapp><name>#pos</name><arg><var>@x</var></arg></funapp></arg><arg><funapp><name>#pos</name><arg><var>@y</var></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#pos</name><arg><funapp><name>#natmult</name><arg><var>@x</var></arg><arg><var>@y</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>#natmult</name><arg><funapp><name>#0</name></funapp></arg><arg><var>@y</var></arg></funapp></lhs><rhs><funapp><name>#0</name></funapp></rhs></rule><rule><lhs><funapp><name>#natmult</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg><arg><var>@y</var></arg></funapp></lhs><rhs><funapp><name>#add</name><arg><funapp><name>#pos</name><arg><var>@y</var></arg></funapp></arg><arg><funapp><name>#natmult</name><arg><var>@x</var></arg><arg><var>@y</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>#pred</name><arg><funapp><name>#0</name></funapp></arg></funapp></lhs><rhs><funapp><name>#neg</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>#pred</name><arg><funapp><name>#neg</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#neg</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>#pred</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#0</name></funapp></rhs></rule><rule><lhs><funapp><name>#pred</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>#succ</name><arg><funapp><name>#0</name></funapp></arg></funapp></lhs><rhs><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>#succ</name><arg><funapp><name>#neg</name><arg><funapp><name>#s</name><arg><funapp><name>#0</name></funapp></arg></funapp></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#0</name></funapp></rhs></rule><rule><lhs><funapp><name>#succ</name><arg><funapp><name>#neg</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#neg</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></rhs></rule><rule><lhs><funapp><name>#succ</name><arg><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></arg></funapp></lhs><rhs><funapp><name>#pos</name><arg><funapp><name>#s</name><arg><funapp><name>#s</name><arg><var>@x</var></arg></funapp></arg></funapp></arg></funapp></rhs></rule></relrules></rules><signature><funcsym><name>m1</name><arity>1</arity></funcsym><funcsym><name>matrixMultList</name><arity>2</arity></funcsym><funcsym><name>m4</name><arity>1</arity></funcsym><funcsym><name>attach</name><arity>2</arity></funcsym><funcsym><name>split</name><arity>1</arity></funcsym><funcsym><name>matrixMult3</name><arity>3</arity></funcsym><funcsym><name>#add</name><arity>2</arity></funcsym><funcsym><name>mult#2</name><arity>3</arity></funcsym><funcsym><name>transpose'</name><arity>1</arity></funcsym><funcsym><name>nil</name><arity>0</arity></funcsym><funcsym><name>split#1</name><arity>1</arity></funcsym><funcsym><name>transpose</name><arity>1</arity></funcsym><funcsym><name>m2</name><arity>1</arity></funcsym><funcsym><name>matrixMult'</name><arity>2</arity></funcsym><funcsym><name>transAcc</name><arity>2</arity></funcsym><funcsym><name>mult</name><arity>2</arity></funcsym><funcsym><name>+</name><arity>2</arity></funcsym><funcsym><name>transAcc#1</name><arity>2</arity></funcsym><funcsym><name>matrixMultList#1</name><arity>2</arity></funcsym><funcsym><name>#neg</name><arity>1</arity></funcsym><funcsym><name>*</name><arity>2</arity></funcsym><funcsym><name>mkBase#1</name><arity>1</arity></funcsym><funcsym><name>transpose#3</name><arity>2</arity></funcsym><funcsym><name>attach#1</name><arity>2</arity></funcsym><funcsym><name>transpose#2</name><arity>1</arity></funcsym><funcsym><name>matrixMult'#1</name><arity>2</arity></funcsym><funcsym><name>#natmult</name><arity>2</arity></funcsym><funcsym><name>matrixMultOld</name><arity>2</arity></funcsym><funcsym><name>split#2</name><arity>2</arity></funcsym><funcsym><name>#pos</name><arity>1</arity></funcsym><funcsym><name>tuple#2</name><arity>2</arity></funcsym><funcsym><name>mkBase</name><arity>1</arity></funcsym><funcsym><name>makeBase</name><arity>1</arity></funcsym><funcsym><name>mult#1</name><arity>2</arity></funcsym><funcsym><name>::</name><arity>2</arity></funcsym><funcsym><name>lineMult#1</name><arity>2</arity></funcsym><funcsym><name>#mult</name><arity>2</arity></funcsym><funcsym><name>attach#2</name><arity>3</arity></funcsym><funcsym><name>#succ</name><arity>1</arity></funcsym><funcsym><name>#0</name><arity>0</arity></funcsym><funcsym><name>makeBase#1</name><arity>1</arity></funcsym><funcsym><name>m3</name><arity>1</arity></funcsym><funcsym><name>matrixMult</name><arity>2</arity></funcsym><funcsym><name>#abs</name><arity>1</arity></funcsym><funcsym><name>lineMult</name><arity>2</arity></funcsym><funcsym><name>transpose#1</name><arity>2</arity></funcsym><funcsym><name>split#3</name><arity>3</arity></funcsym><funcsym><name>#pred</name><arity>1</arity></funcsym><funcsym><name>#s</name><arity>1</arity></funcsym></signature></trs><strategy>INNERMOST</strategy><startterm><constructor-based/></startterm><metainformation><originalfilename>tct_complexity/raML/matrix.raml.trs</originalfilename></metainformation></problem>

content may be truncated. 'popout' for larger text window.