|
|
@2156ec
|
12 years |
martinlee84 |
chg: compute content in QGCD
spielwiese
|
|
|
@e26667
|
12 years |
martinlee84 |
chg: use cofactors in EZGCD to test divisibility
spielwiese
|
|
|
@597783
|
12 years |
martinlee84 |
chg: compute cofactors of gcd and use them to test divisibility
chg: ...
spielwiese
|
|
|
@cb7827
|
12 years |
martinlee84 |
chg: compute cofactors in chinrem_gcd and use them to test divisibility
spielwiese
|
|
|
@4704674
|
12 years |
martinlee84 |
chg: avoid divisibility tests
chg: use a bound on coeffs in chinrem_gcd
spielwiese
|
|
|
@9f84ad
|
12 years |
martinlee84 |
chg: try to use evaluation points that preserve sparseness chg: ...
spielwiese
|
|
|
@c244d04
|
12 years |
martinlee84 |
chg: deleted unused old functions + editing chg: added description
spielwiese
|
|
|
@f7a4e9
|
12 years |
martinlee84 |
chg: towards better EZGCD
spielwiese
|
|
|
@a9a6dcb
|
12 years |
martinlee84 |
chg: reduce overhead in gcd
spielwiese
|
|
|
@e243418
|
12 years |
martinlee84 |
chg: use convex dense compression in gcd
spielwiese
|
|
|
@16a0df
|
12 years |
martinlee84 |
chg: added function to compute convex hull of support of two bivariate ...
spielwiese
|
|
|
@c723d80
|
12 years |
martinlee84 |
chg: test divisibility of primitive part
spielwiese
|
|
|
@a03496
|
12 years |
martinlee84 |
fix: gmp 5.x does not define __GMP_BITS_PER_MP_LIMB any more which is ...
spielwiese
|
|
|
@3c25c9
|
12 years |
martinlee84 |
chg: more trivial checks
spielwiese
|
|
|
@015711
|
12 years |
martinlee84 |
fix: issues with building without NTL
spielwiese
|
|
|
@ea4f38
|
12 years |
martinlee84 |
removed config.h.in
spielwiese
|
|
|
@0a7d0ca
|
12 years |
martinlee84 |
fix: assert violations related to minpoly handling
spielwiese
|
|
|
@050d1b
|
12 years |
martinlee84 |
fix: wrong/unneccessary asserts
spielwiese
|
|
|
@a76d6fe
|
12 years |
martinlee84 |
fix: init of variable of negative level
spielwiese
|
|
|
@17f4dc
|
12 years |
martinlee84 |
chg: check for GaloisFieldDomain
spielwiese
|
|
|
@0cb9fd
|
12 years |
martinlee84 |
fix: div by zero
spielwiese
|
|
|
@27ab36
|
12 years |
martinlee84 |
chg: better debug output
spielwiese
|
|
|
@57daf8
|
12 years |
martinlee84 |
chg: switched off assert for positive exponent since I need Laurent ...
spielwiese
|
|
|
@e9a5b62
|
12 years |
martinlee84 |
fix: division by zero in extgcd
spielwiese
|
|
|
@81e336
|
12 years |
martinlee84 |
fix: bug in ilog2
spielwiese
|
|
|
@188d2fb
|
12 years |
martinlee84 |
fix: need SW_RATIONAL to be On for computation of buf0 and buf1
spielwiese
|
|
|
@a8a93f
|
12 years |
martinlee84 |
chg: clear denominators of factors
spielwiese
|
|
|
@d92248
|
12 years |
martinlee84 |
fix: multiply A with right multiple of denominators of factors
spielwiese
|
|
|
@286be1f
|
12 years |
martinlee84 |
chg: changes due to building with FLINT
spielwiese
|
|
|
@8944cc
|
12 years |
martinlee84 |
chg: include config.h
spielwiese
|
|
|
@c2a8b6
|
12 years |
martinlee84 |
chg: set interface back to official FLINT 2.3.alpha2
spielwiese
|
|
|
@a5450a8
|
12 years |
martinlee84 |
fix: use smaller bound for sieving factors
spielwiese
|
|
|
@8baf483
|
12 years |
martinlee84 |
chg: use squarefree factorization instead of squarefree part
spielwiese
|
|
|
@6caa2a6
|
12 years |
martinlee84 |
chg: avoid adding of constant factors to squarefree factorization
chg: ...
spielwiese
|
|
|
@9ebec2
|
12 years |
martinlee84 |
fix: stupid bug in lattice recombination
spielwiese
|
|
|
@4e17e7
|
12 years |
martinlee84 |
fix: multi instead of biFactorize
spielwiese
|
|
|
@fd4146
|
12 years |
martinlee84 |
fix: bug in evaluation point search
spielwiese
|
|
|
@dc390c
|
12 years |
martinlee84 |
fix: swap variables before return after LucksWangSparseHeuristic
fix: ...
spielwiese
|
|
|
@92add1
|
12 years |
martinlee84 |
fix: deleted duplicate function declaration
spielwiese
|
|
|
@2f6b737
|
12 years |
martinlee84 |
fix: getTerms2 and patch for coeffs
spielwiese
|
|
|
@f53120
|
12 years |
martinlee84 |
fix: seperate char= 0 and char>p
spielwiese
|
|
|
@837495
|
12 years |
martinlee84 |
fix: ifdef's for FLINT
spielwiese
|
|
|
@f9da5e
|
12 years |
martinlee84 |
chg/fix: handling of minpolys over Q[t]\Z[t]
spielwiese
|
|
|
@b4af1b
|
12 years |
martinlee84 |
chg: coeff bound for factorization over Q(a), now Hensel
lifting ...
spielwiese
|
|
|
@41fea7
|
12 years |
martinlee84 |
fix: divisibility testing
chg: coeff bound for factorization over Q(a)
spielwiese
|
|
|
@ca058c
|
12 years |
martinlee84 |
fix: some minor bugs
chg: reverseSubstQa now takes an additional ...
spielwiese
|
|
|
@1ddcde9
|
12 years |
martinlee84 |
chg: some typos
spielwiese
|
|
|
@062583
|
12 years |
martinlee84 |
chg: shift factors of the norm instead of factors over Q(a)
spielwiese
|
|
|
@24c6177
|
12 years |
martinlee84 |
chg: mapdomain() now maps BaseDomains
spielwiese
|
|
|
@ad0177
|
12 years |
martinlee84 |
chg: use uniFdivides in factorRecombination
chg: take care of GF in ...
spielwiese
|
|
|
@54af8a5
|
12 years |
martinlee84 |
chg: added divisibility test over Q(a)
spielwiese
|
|
|
@4a0a303
|
12 years |
martinlee84 |
chg: added diophantine equation solver over Q(a) using p-adic lifting
spielwiese
|
|
|
@5f92d8
|
12 years |
martinlee84 |
chg: added coeff bound for polys over Q(a)
chg: renamed ...
spielwiese
|
|
|
@4e6d2a
|
12 years |
martinlee84 |
chg: use a big prime instead of a small prime in coeff bound
fix: map ...
spielwiese
|
|
|
@2fbb9e6
|
12 years |
martinlee84 |
chg: make minimal polynomial an element of Z[t]
spielwiese
|
|
|
@51aa162
|
12 years |
martinlee84 |
chg: do not compute p^k in FLINT
spielwiese
|
|
|
@69fdf90
|
12 years |
martinlee84 |
chg: do not require coeff bound to be const
spielwiese
|
|
|
@47dc5ea
|
12 years |
martinlee84 |
chg: *,/,% for univariate polys over Z_p^k[x]/(f) via NTL
spielwiese
|
|
|
@c729f2
|
12 years |
martinlee84 |
chg: conversion to NTL ZZ_pX now allows non-word size p
chg: added ...
spielwiese
|
|
|
@b78a13
|
12 years |
martinlee84 |
chg: faster reversion of Kronecker substitution
spielwiese
|
|
|
@42af505
|
12 years |
martinlee84 |
chg: skip Q(a) check
spielwiese
|
|
|
@67ed74
|
12 years |
martinlee84 |
chg: use FLINT for multiplication over Q(a)
spielwiese
|
|
|
@2b76ff
|
12 years |
martinlee84 |
chg: conversion of NTL ZZ to CanonicalForm
spielwiese
|
|
|
@f89fed
|
12 years |
martinlee84 |
fix: more fixes to Q(a) check
spielwiese
|
|
|
@c3ef86f
|
12 years |
martinlee84 |
chg: use NTL
spielwiese
|
|
|
@e451f48
|
12 years |
martinlee84 |
fix: Q(a) check
spielwiese
|
|
|
@3f8663
|
12 years |
martinlee84 |
chg/fix: removed check for squarefreeness of reduction mod p
spielwiese
|
|
|
@e785e9
|
12 years |
martinlee84 |
chg: use FLINT for operations over Z/p (for non word size p)
spielwiese
|
|
|
@9c98c2
|
12 years |
martinlee84 |
chg: added conversion for univariate polys over Z/p for non word size p
spielwiese
|
|
|
@c2aeb9
|
12 years |
martinlee84 |
fix: typo
spielwiese
|
|
|
@d3d3168
|
12 years |
martinlee84 |
chg: added docu for conversion to FLINT and back
spielwiese
|
|
|
@f9bd3d
|
12 years |
martinlee84 |
chg: use NTL for univariate operations with coeff bound
spielwiese
|
|
|
@1ade96
|
12 years |
martinlee84 |
chg: use coeff bound in bivariate poly factorization over Q
spielwiese
|
|
|
@667ba1
|
12 years |
martinlee84 |
chg: changed default constructor of modpk
spielwiese
|
|
|
@a090c88
|
12 years |
martinlee84 |
chg: added coeff bound as additional argument in henselStep12
spielwiese
|
|
|
@583cb9
|
12 years |
martinlee84 |
chg: added diophantine equation solver using p-adic lifting
spielwiese
|
|
|
@eb481b
|
12 years |
martinlee84 |
chg: more coeff bounds
spielwiese
|
|
|
@de222e
|
12 years |
martinlee84 |
chg: cheaper divisibility tests to discard wrong factors
spielwiese
|
|
|
@d9357b
|
12 years |
martinlee84 |
chg: added coeff bounds to Hensel lifting routines
added coeff ...
spielwiese
|
|
|
@64c923
|
12 years |
martinlee84 |
chg: added coeff bound to univariate operations
spielwiese
|
|
|
@5b4107
|
12 years |
martinlee84 |
chg: changed interface to nmod_poly_factor_t
spielwiese
|
|
|
@c7c7fe4
|
12 years |
martinlee84 |
chg: added divisibility test for univariate polys
spielwiese
|
|
|
@e016ba
|
12 years |
martinlee84 |
chg: code formatting
spielwiese
|
|
|
@64b824
|
12 years |
martinlee84 |
chg: threshold for use of LucksWangHeuristic
spielwiese
|
|
|
@c08510
|
12 years |
martinlee84 |
chg: remove some debug output
spielwiese
|
|
|
@81d96c
|
12 years |
martinlee84 |
chg: more reorganization
spielwiese
|
|
|
@0e2e23
|
12 years |
martinlee84 |
chg: separated multiplication and Hensel lifting functions
spielwiese
|
|
|
@deb0f60
|
12 years |
martinlee84 |
chg: use henselLiftAndEarly from facFqBivar again in facBivar
spielwiese
|
|
|
@3ef2d6
|
12 years |
martinlee84 |
chg: use Newton inversion for division over Q(a)
spielwiese
|
|
|
@935e83
|
12 years |
martinlee84 |
chg: deleted some commented out debug stuff and formatted code
spielwiese
|
|
|
@c53fdc
|
12 years |
martinlee84 |
chg/fix: switched off Flint gcd over Z
spielwiese
|
|
|
@84dcd6b
|
12 years |
martinlee84 |
chg: removed some debug stuff
spielwiese
|
|
|
@0e6668
|
12 years |
martinlee84 |
chg: more changes in order to replace old factorization over integers
spielwiese
|
|
|
@530295
|
12 years |
martinlee84 |
chg: more changes to replace polynomial factorization over integer ...
spielwiese
|
|
|
@88408d0
|
12 years |
martinlee84 |
chg: switched off old factory factorization over Z
chg: added some ...
spielwiese
|
|
|
@3ed6ccf
|
12 years |
martinlee84 |
chg: check for Flint 2.3 in configure
spielwiese
|
|
|
@7cb5590
|
12 years |
martinlee84 |
fix: some preprocessor commands
spielwiese
|
|
|
@ae3775
|
12 years |
martinlee84 |
chg: use Flint factorization over finite fields instead of NTL
spielwiese
|
|
|
@7e8c9e
|
12 years |
martinlee84 |
chg: use Flint GCD instead of NTL gcd
spielwiese
|
|
|
@97a059
|
12 years |
martinlee84 |
Started fork swSingularFlint from spielwiese
chg: changed build ...
spielwiese
|
|
|