load("nk_restriction.rr"); def ex1() { F = x0*t+x1+x2+x3+x4+x5+t^4; Ann = ann(F); Id = map(subst, Ann, s, -1); Int = nk_restriction.integration_ideal(Id, [t,x0,x1,x2,x3,x4,x5],[dt,dx0,dx1,dx2,dx3,dx4,dx5], [1,0,0,0,0,0,0]|inhomo=1); return Int; } def ex2() { F = x0*t+x1*t+x2+x3+x4+x5+t^4; Ann = ann(F); Id = map(subst, Ann, s, -1); Int = nk_restriction.integration_ideal(Id, [t,x0,x1,x2,x3,x4,x5],[dt,dx0,dx1,dx2,dx3,dx4,dx5], [1,0,0,0,0,0,0]|inhomo=1); return Int; } def ex3() { F = x0*t+x1*t+x2*t+x3+x4+x5+t^4; Ann = ann(F); Id = map(subst, Ann, s, -1); Int = nk_restriction.integration_ideal(Id, [t,x0,x1,x2,x3,x4,x5],[dt,dx0,dx1,dx2,dx3,dx4,dx5], [1,0,0,0,0,0,0]|inhomo=1); return Int; } def ex4() { F = x0*t+x1*t+x2*t+x3*t+x4+x5+t^4; Ann = ann(F); Id = map(subst, Ann, s, -1); Int = nk_restriction.integration_ideal(Id, [t,x0,x1,x2,x3,x4,x5],[dt,dx0,dx1,dx2,dx3,dx4,dx5], [1,0,0,0,0,0,0]|inhomo=1); return Int; } def ex5() { F = x0*t+x1*t+x2*t+x3*t+x4*t+x5+t^4; Ann = ann(F); Id = map(subst, Ann, s, -1); Int = nk_restriction.integration_ideal(Id, [t,x0,x1,x2,x3,x4,x5],[dt,dx0,dx1,dx2,dx3,dx4,dx5], [1,0,0,0,0,0,0]|inhomo=1); return Int; } end$