You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
28 lines
647 B
28 lines
647 B
1 year ago
|
// Intersection when the determinantal equation vanishes identically
|
||
|
|
|
||
|
|
#ifndef _qi_vanish_det_h_
|
||
|
|
#define _qi_vanish_det_h_
|
||
|
|
|
||
|
|
/** rpl */
|
||
|
|
#include <libqi/rpl/rational_factorization.h>
|
||
|
|
|
||
|
|
/** QI */
|
||
|
|
#include <libqi/kernel/QIHompoly.h>
|
||
|
|
#include <libqi/kernel/QIQsicStruct.h>
|
||
|
|
|
||
|
|
using namespace std;
|
||
|
|
using namespace rpl;
|
||
|
|
|
||
|
|
// Enter namespace QI
|
||
|
|
namespace QI {
|
||
|
|
|
||
|
|
// The main intersection procedure when the determinantal equation vanishes
|
||
|
|
quad_inter <bigint> inter_vanish_det(const bigint_matrix &q1, const bigint_matrix &q2,
|
||
|
|
const hom_polynomial <bigint> &det_p,
|
||
|
|
const int opt_level,
|
||
|
|
ostream &s);
|
||
|
|
|
||
|
|
} // end of namespace QI
|
||
|
|
|
||
|
|
#endif
|