More Functionalities... 

This example sheet is non-exhaustive as it emphasizes the three main functionalities of miniISOLDE. The underlying procedures however are standalone as well. I give one example: 

> A := `/`(`*`(Matrix(2, 2, [`+`(`*`(2, `*`(`^`(t, 3))), 2), `+`(`-`(`*`(2, `*`(`^`(t, 2)))), `-`(2)), -2, `+`(`-`(`*`(`^`(t, 3))), `-`(`*`(4, `*`(t))), 2)])), `*`(`^`(t, 4))); 1
 

Matrix(%id = 18446744078296587670) (4.1)
 

> ExpOrderAndPoly(A, t); 1
 

3, `+`(lambda, `-`(4)) (4.2)
 

>