1926 std::vector<std::vector<int> > hvs=
supports(
h);
1930 std::vector<std::vector<int> > mv=
Mabv(
h,a,
b);
1931 std::vector<std::vector<int> > mts=
mabtv(hvs,mv,av,bv);
1932 PrintS(
"The homomorphism should map onto:\n");
1936 std::vector<std::vector<int> > vecs,vars;
1937 std::vector<int>
vec,var;
1940 vars=
mabtv(hvs,mv,av,bv);
1942 for(t0=0;t0<vars.size();t0++)
1953 vecs.push_back(vec);
1963 vecs.push_back(vec);
1966 for(t1=t0+1;t1<vars.size();t1++)
1968 for(t2=t1+1;t2<vars.size();t2++)
1970 if(vars[t0][0]==vars[t1][0]&&vars[t1][1]==vars[t2][1]&&vars[t0][1]==vars[t2][0])
1978 vecs.push_back(vec);
1990 std::vector<std::vector<int> > re=
getvector(id_re,vn);
1991 PrintS(
"this is the solution for ideal :\n");
1994 std::vector<std::vector<int> > sub=
subspacet(mv, bv,vars);
1995 PrintS(
"this is the solution for subspace:\n");
1999 PrintS(
"This is the solution of coefficients:\n");
2005 PrintS(
"No element considered!");
std::vector< std::vector< int > > vecqring(std::vector< std::vector< int > > vec1, std::vector< std::vector< int > > vec2)
void lpsprint(std::vector< std::vector< poly > > pvs)
bool solve(int **extmat, int nrows, int ncols)
std::vector< int > makeequation(int i, int j, int t)
bool condition1for2(std::vector< int > pv, std::vector< int > qv, std::vector< int > bv)
bool condition3for2(std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > qv, std::vector< int > av, std::vector< int > bv)
std::vector< std::vector< poly > > idMakei(std::vector< std::vector< int > > mv, std::vector< std::vector< int > > vecs)
std::vector< std::vector< int > > Mabv(ideal h, poly a, poly b)
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 PrintS(const char *s)
std::vector< int > support1(poly p)
void rChangeCurrRing(ring r)
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 listsprint(std::vector< std::vector< int > > posMat)
std::vector< std::vector< int > > supports(ideal h)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
std::vector< std::vector< int > > getvector(ideal h, int n)