105 coeffs C = O->basecoeffs();
109 if (
B->isFractional()) {
111 s1->skalmult(
B->viewBasisDen(), C);
116 if (
A->isFractional()) {
118 s2->skalmult(
A->viewBasisDen(), C);
129 r->concatcol(s1, s2);
131 if (
A->isFractional())
133 if (
B->isFractional())
137 if (!(modA =
A->viewMin())) {
138 modA =
A->viewNorm();
140 if (!(modB =
B->viewMin())) {
141 modB =
B->viewNorm();
146 t2 =
r->modhnf(
mod, C);
150 t2 =
new bigintmat(O->getDim(), O->getDim(), C);
151 t2->
copySubmatInto(
r, 1, O->getDim()+1, O->getDim(), O->getDim(), 1,1);
159 D->setBasisDenTransfer(
den);
static FORCE_INLINE number n_Gcd(number a, number b, const coeffs r)
in Z: return the gcd of 'a' and 'b' in Z/nZ, Z/2^kZ: computed as in the case Z in Z/pZ...
number det()
det (via LaPlace in general, hnf for euc. rings)
void simplifyContentDen(number *den)
ensures that Gcd(den, content)=1 enden hier wieder
static FORCE_INLINE number n_Init(long i, const coeffs r)
a number representing i in the given coeff field/ring r
static FORCE_INLINE number n_Mult(number a, number b, const coeffs r)
return the product of 'a' and 'b', i.e., a*b
void copySubmatInto(bigintmat *, int sr, int sc, int nr, int nc, int tr, int tc)
copy the submatrix of b, staring at (a,b) having n rows, m cols into the given matrix at pos...
The main handler for Singular numbers which are suitable for Singular polynomials.
static FORCE_INLINE number n_Copy(number n, const coeffs r)
return a copy of 'n'
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'
number get(int i, int j) const
get a copy of an entry. NOTE: starts at [1,1]