LinAlg.EF |
Syntax |
LinAlg.EF(M:LIST, L1:LIST, L2:LIST):LIST |
Description |
Example |
Use ZZ/(2)[x,y]; M := [ [1, 1, 0, 1, 0], [0, 1, 1, 0, 1], [1, 0, 1, 0, 0], [1, 1, 1, 0, 1] ]; -- order of lists in M L1:=[1, 2, 3, 4]; -- 0 for lists which are already in echelon form and 1 for those to be reduced. L2:=[0, 0, 1, 1]; LinAlg.EF(M, L1, L2); -- CoCoAServer: computing Cpu Time = 0 ------------------------------- [ [[1, 1, 0, 1, 0], [0, 1, 1, 0, 1], [0, 0, 1, 1, 1], [0, 0, 0, 1, 1]], [1, 2, 4, 3], [0, 0, 1, 1]] -- The last two lists represent the new order of lists in M. |
Example |
Use ZZ/(2)[x,y]; M := [ [0, 1, 0, 1, 0], [0, 1, 0, 0, 1], [1, 0, 1, 1, 0], [1, 1, 0, 0, 1] ]; -- order of lists in M L1:=[1, 2, 3, 4]; -- 0 for lists which are already in echelon form and 1 for those to be reduced. L2:=[0, 0, 1, 1]; LinAlg.EF(M, L1, L2); -- CoCoAServer: computing Cpu Time = 0.015 ------------------------------- [[[1, 0, 1, 1, 0], [0, 1, 0, 1, 0], [0, 0, 1, 0, 1], [0, 0, 0, 1, 1]], [3, 1, 4, 2], [1, 0, 1, 0]] ------------------------------- -- The last two lists represent the new order of lists in M. |
See Also |