2367{
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");
2378 {
2379 vars=
mabtv(hvs,mv,av,bv);
2380 int vn=vars.size();
2381 for(t0=0;t0<vars.size();t0++)
2382 {
2386 {
2387
2389
2390
2391
2392 vecs.push_back(
vec);
2394 }
2396 {
2397
2399
2400
2401
2402 vecs.push_back(
vec);
2404 }
2405 for(t1=t0+1;t1<vars.size();t1++)
2406 {
2407 for(t2=t1+1;t2<vars.size();t2++)
2408 {
2409 if(vars[t0][0]==vars[t1][0]&&vars[t1][1]==vars[t2][1]&&vars[t0][1]==vars[t2][0])
2410 {
2413 t=vars[t1][1];
2415 {
2417 vecs.push_back(
vec);
2419 }
2420 }
2421 }
2422 }
2423 }
2424
2425
2428
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");
2441 }
2442 else
2443 {
2444 PrintS(
"No element considered!");
2445 }
2446}
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)