Example 3 (ex. 13 in paper)  

 

> read
 

> A := rtable(1 .. 2, 1 .. 2, [[`/`(1, `*`(`^`(x, 5))), x], [`*`(`^`(x, 2)), `/`(1, `*`(`^`(x, 5)))]], subtype = Matrix); -1; Exp_part(A, x, t); 1
 

 

 

 

 

 

 

 

 

 

[rtable(1 .. 2, 1 .. 2, [[`+`(`*`(5, `*`(`^`(x, 2))), 5, O(`*`(`^`(x, 3)))), `+`(7, `-`(`*`(`/`(15, 2), `*`(`^`(x, 2)))), O(`*`(`^`(x, 4))))], [`+`(10, O(`*`(`^`(x, 3)))), `+`(`-`(`*`(5, `*`(`^`(x, 2)...
The first few terms of the transformation P in C((x)):
The first few terms of the transformation P in C((x)):
List of subsystem up to conjugaison after a first maximal Decomposition in C((x)):
[rtable(1 .. 1, 1 .. 1, [[`/`(1, `*`(`^`(t, 5)))]], subtype = Matrix), x = t] (3.1)