2368 int t0,t1,t2,
i,
j,t,
m;
2371 std::vector<std::vector<int> > hvs=
supports(
h), mv=
Mabv(
h,a,
b), mts, vecs,vars;
2373 mts=
mabtv(hvs,mv,av,bv);
2374 PrintS(
"The homomorphism should map onto:\n");
2379 vars=
mabtv(hvs,mv,av,bv);
2381 for(t0=0;t0<vars.size();t0++)
2392 vecs.push_back(
vec);
2402 vecs.push_back(
vec);
2405 for(t1=t0+1;t1<vars.size();t1++)
2407 for(t2=t1+1;t2<vars.size();t2++)
2409 if(vars[t0][0]==vars[t1][0]&&vars[t1][1]==vars[t2][1]&&vars[t0][1]==vars[t2][0])
2417 vecs.push_back(
vec);
2429 std::vector<std::vector<int> > re=
getvector(id_re,vn);
2430 PrintS(
"this is the solution for ideal :\n");
2433 std::vector<std::vector<int> > sub=
subspacet(mv, bv,vars);
2434 PrintS(
"this is the solution for subspace:\n");
2438 PrintS(
"This is the solution of coefficients:\n");
2444 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 > > mabtv(std::vector< std::vector< int > > hvs, std::vector< std::vector< int > > Mv, std::vector< int > av, std::vector< int > bv)
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< int > makeequation(int i, int j, int t)
std::vector< std::vector< int > > getvector(ideal h, int n)
std::vector< std::vector< int > > subspacet(std::vector< std::vector< int > > mv, std::vector< int > bv, std::vector< std::vector< int > > ntvs)