1526 std::vector<std::vector<int> > hvs=
supports(
h);
1530 std::vector<std::vector<int> > sbv=
supports(sub);
1532 std::vector<std::vector<int> > mv=
Mabv(
h,a,
b);
1533 PrintS(
"The homophisim is map onto the set:\n");
1536 std::vector<std::vector<int> > good;
1537 std::vector<int>
bad,vv;
1567 PrintS(
"This is the solution of coefficients:\n");
1575 std::vector<std::vector<int> > suu;
1579 PrintS(
"This is the solution of coefficients:\n");
1586 PrintS(
"No element considered!\n");
bool solve(int **extmat, int nrows, int ncols)
std::vector< std::vector< int > > eli2(int num, std::vector< int > bset, std::vector< std::vector< int > > gset)
std::vector< std::vector< int > > Mabv(ideal h, poly a, poly b)
std::vector< std::vector< int > > vecqring(std::vector< std::vector< int > > vec1, std::vector< std::vector< int > > vec2)
std::vector< std::vector< int > > listsinsertlist(std::vector< std::vector< int > > gset, int a, int b)
bool mabconditionv(std::vector< std::vector< int > > hvs, std::vector< int > pv, std::vector< int > av, std::vector< int > bv)
std::vector< int > support1(poly p)
std::vector< int > vecUnion(std::vector< int > vec1, std::vector< int > vec2)
std::vector< std::vector< int > > supports(ideal h)
bool vsubset(std::vector< int > vec1, std::vector< int > vec2)
ideal idMaken(std::vector< std::vector< int > > vecs)
std::vector< int > subspace1(std::vector< std::vector< int > > mv, std::vector< int > bv)
void listsprint(std::vector< std::vector< int > > posMat)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void rChangeCurrRing(ring r)
void PrintS(const char *s)