void sub_generator::print(ostream &ost, INT len, INT *S)
{
INT j,rk_k;
if (len == 0) {
return;
}
cout << "subspaces:" << endl;
for (j = 0; j < len; j++) {
//PG_element_unrank_modified(*F, rc.M1 + j, len /* stride */, nmk /* len */, S[j]);
rk_k=subs->unrank_k(S[j],-2);
subs->unrank_INT(S[j],-2);
print_integer_matrix(ost,subs->G[rk_k]->M , rk_k, n);
ost << "------------------------------"<<endl;
}
}
INT arc_generator::check_arc(INT *S, INT len, INT verbose_level)
{
INT f_v = (verbose_level >= 1);
//INT f_vv = (verbose_level >= 2);
//INT f_vvv = (verbose_level >= 3);
INT f_OK = TRUE;
if (f_v) {
cout << "checking set ";
print_set(cout, len, S);
}
if (!rc.check_rank(len, S, verbose_level - 1)) {
return FALSE;
}
if (f_v) {
cout << "checking set ";
print_set(cout, len, S);
}
if (f_v) {
cout << endl;
//print_integer_matrix(cout, S, 1, len);
print_integer_matrix(cout, rc.M1, rc.m, len);
if (len > 2) {
print_set_in_affine_plane(len - 2, S + 2);
}
}
if (f_OK) {
if (f_v) {
cout << "accepted" << endl;
}
return TRUE;
}
else {
if (f_v) {
cout << "rejected" << endl;
}
return FALSE;
}
}
