<< "HYPERDIRE.m"

(*----------------Example 1, see p.35 of arxiv:0904.0214---------*)

vector = {{a1-1, a2, a3, a4}, {b1, b2, b3}, x}; 
simplifyPFQMultiple[vector, {1, 0, 0, 0, 0, 0, 0}, 1] 
FullSimplify[%]

(*----------------Example 2, see p.36 of arxiv:0904.0214---------*)

vector1 = {{a1+2, a2+1, a3+1}, {b, 1+f}, z}; 
simplifyPFQMultiple[vector1, {-2, -1, -1, 0, -1}, 1] 
FullSimplify[%]
FullSimplify[%[[1]]/%[[3]]]


(*----------------Example 3, see p.37 of arxiv:0904.0214---------*)

explicitForm[simplifyPFQMultiple[{{a1-1, a2}, {b1}, z}, {1, 0, 0}, 1]] 





