read Applications;

L8 := `LREtools/LCLM`(tau-1/x, tau-2/(x+3), tau+1/(x+2), tau-x, tau-2*x, tau-3*x/(x-2), tau+2*x/(x+3), tau+(x-1/2)):
L8 := collect(primpart(L8,tau),tau,factor):
BBP(L8,1);


La := (x-2)^2 * tau^7 + 3*tau^3-x*tau + x^2;
G := (x-3)*tau^5 + x^3*tau^3-4*tau^2+(x-1)*tau+5*(x+2);
Lb := collect(primpart(`LREtools/rightdivision`(`LREtools/LCLM`(La,G), G)[1],tau),tau,factor);

L4 := `LREtools/LCLM`(tau^3-x, tau^3-x*tau-1);

L := collect(primpart(`LREtools/LCLM`(
        (x-1)*tau^3 - 3*tau^2 - x*tau + 2*x,
        (x+1)*tau^3 - (x-1)*tau^2 - tau  -x)
,tau),tau,factor);

_Env_ratsols_only := true;
ProjectiveHom(La, Lb);
ProjectiveHom(L4, L4);
ProjectiveHom(L, L);
_Env_ratsols_only := false;

BBP(L, 3);