2373 int t0,t1,t2,
i,
j,t,
m;
2376 std::vector<std::vector<int> > hvs=
supports(
h), mv=
Mabv(
h,a,
b), mts, vecs,vars;
2378 mts=
mabtv(hvs,mv,av,bv);
2379 PrintS(
"The homomorphism should map onto:\n");
2384 vars=
mabtv(hvs,mv,av,bv);
2386 for(t0=0;t0<vars.size();t0++)
2397 vecs.push_back(
vec);
2407 vecs.push_back(
vec);
2410 for(t1=t0+1;t1<vars.size();t1++)
2412 for(t2=t1+1;t2<vars.size();t2++)
2414 if(vars[t0][0]==vars[t1][0]&&vars[t1][1]==vars[t2][1]&&vars[t0][1]==vars[t2][0])
2422 vecs.push_back(
vec);
2434 std::vector<std::vector<int> > re=
getvector(id_re,vn);
2435 PrintS(
"this is the solution for ideal :\n");
2438 std::vector<std::vector<int> > sub=
subspacet(mv, bv,vars);
2439 PrintS(
"this is the solution for subspace:\n");
2443 PrintS(
"This is the solution of coefficients:\n");
2449 PrintS(
"No element considered!");
bool condition3for2(std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > qv, std::vector< int > av, std::vector< int > bv)
bool condition1for2(std::vector< int > pv, std::vector< int > qv, std::vector< int > bv)
ideal idMake3(std::vector< std::vector< int > > vecs)
bool condition2for2(std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > qv, std::vector< int > sv, std::vector< int > av, std::vector< int > bv)
std::vector< std::vector< int > > subspacet(std::vector< std::vector< int > > mv, std::vector< int > bv, std::vector< std::vector< int > > ntvs)
void lpsprint(std::vector< std::vector< poly > > pvs)
std::vector< std::vector< poly > > idMakei(std::vector< std::vector< int > > mv, std::vector< std::vector< int > > vecs)
std::vector< std::vector< int > > mabtv(std::vector< std::vector< int > > hvs, std::vector< std::vector< int > > Mv, std::vector< int > av, std::vector< int > bv)
std::vector< std::vector< int > > getvector(ideal h, int n)
std::vector< int > makeequation(int i, int j, int t)