integralClosure

[Douglas-Leonard]

I think the following is messed up, but can't figure out why. [Change QQ to ZZ/5 to see something which makes sense and should be a specialization of this.]

R=QQ[f5,f3,g13,g12,MonomialOrder=>Lex]; I=ideal(f5^3+f5f3+f3^5,f3^4-g12,f5^2f3-g13); G=gens gb I;

R0=QQ[f13,f12,MonomialOrder=>{Weights=>{13,12},Weights=>{1,0}}]; phi=map(R0,R,matrix{{0,0,f13,f12}}); f=phi(G_(0,0)); I0=ideal(f); A0=R0/I0; icf=icFractions A0; toString icf time G0=gens gb ideal integralClosure A0; toString G0