|
|
@2e4ec14
|
11 years |
ren |
fix: -Wunused-parameter warnings
spielwiese
|
|
|
@e29bd5
|
11 years |
martinlee84 |
fix: some warnings in libfac
spielwiese
|
|
|
@edb81b
|
11 years |
martinlee84 |
chg: missing stuff from master
spielwiese
|
|
|
@1daf0d
|
12 years |
adi_popescum |
64bits
Conflicts:
factory/facBivar.h
factory/facFqFactorize.h ...
spielwiese
|
|
|
@800704
|
11 years |
martinlee84 |
chg: sync with master
spielwiese
|
|
|
@4447a0
|
12 years |
hannes |
fix: more templates for libfac
spielwiese
|
|
|
@1d277d
|
12 years |
hannes |
fix: template instantiation for libfac
Conflicts:
...
spielwiese
|
|
|
@f40e20
|
12 years |
hannes |
template moved: List<Variable>, Union, Difference
Conflicts:
...
spielwiese
|
|
|
@21526f
|
11 years |
martinlee84 |
fix: bug in modular gcd due to wrong extension
spielwiese
|
|
|
@3a3393b
|
11 years |
martinlee84 |
chg: switched off search for new main variable
spielwiese
|
|
|
@c495ca
|
11 years |
martinlee84 |
chg: some optimizations to psr gcd
spielwiese
|
|
|
@1176ba0
|
11 years |
martinlee84 |
fix: minor bug fixes
spielwiese
|
|
|
@a08be4
|
11 years |
martinlee84 |
chg: use different gcd algorithm to compute content in psrgcd
spielwiese
|
|
|
@1b88d5
|
11 years |
martinlee84 |
chg: make sure things divide without remainder
spielwiese
|
|
|
@420a178
|
11 years |
martinlee84 |
chg: skip term estimate in certain cases
spielwiese
|
|
|
@9879d0
|
11 years |
martinlee84 |
chg: tuning parameter in sparseGCDFp
chg: switch to dense modular GCD
spielwiese
|
|
|
@0d74e7
|
11 years |
martinlee84 |
chg: switch to sparse modular GCD in some cases
spielwiese
|
|
|
@b770bf
|
11 years |
martinlee84 |
chg: faster gcd computation in EZGCD in corner cases
spielwiese
|
|
|
@ce41efa
|
11 years |
martinlee84 |
chg: estimate term growth through shifting evaluation point in ezgcd ...
spielwiese
|
|
|
@a60b8b
|
11 years |
martinlee84 |
chg: added biSqrfFactorizeHelper function
Conflicts:
...
spielwiese
|
|
|
@bbcc98
|
11 years |
martinlee84 |
chg: more docu
spielwiese
|
|
|
@074fe7
|
11 years |
martinlee84 |
chg: some editing
chg: more updates to docu
Conflicts:
...
spielwiese
|
|
|
@e8880a
|
11 years |
martinlee84 |
chg: updated docu
Conflicts:
factory/facFqFactorize.h
spielwiese
|
|
|
@3163a2
|
11 years |
martinlee84 |
chg: extracted more parts of LCHeuristic
Conflicts:
...
spielwiese
|
|
|
@4505ca
|
11 years |
martinlee84 |
chg: added changing of A and Aeval to prepareLeadingCoeffs
spielwiese
|
|
|
@9b4920b
|
11 years |
martinlee84 |
chg: extracted LC heuristic
Conflicts:
factory/facFqFactorize.h
spielwiese
|
|
|
@58c0e4
|
11 years |
martinlee84 |
chg: added some helper functions
Conflicts:
factory/facFactorize.cc ...
spielwiese
|
|
|
@4439f8e
|
11 years |
martinlee84 |
chg: deleted duplicate code
spielwiese
|
|
|
@f4d7641
|
11 years |
martinlee84 |
fix: typo
spielwiese
|
|
|
@2dbe57
|
11 years |
martinlee84 |
chg: clean up and editing
spielwiese
|
|
|
@f18f58
|
11 years |
martinlee84 |
chg: change level if necessary
spielwiese
|
|
|
@8bf4c7
|
11 years |
martinlee84 |
chg: retry with different level
spielwiese
|
|
|
@a18637
|
11 years |
martinlee84 |
chg: update leading coefficients if multiplier non-constant
spielwiese
|
|
|
@f0ab71
|
11 years |
martinlee84 |
chg: back to old version
spielwiese
|
|
|
@ef3f67
|
11 years |
martinlee84 |
chg: leave precomputeLeadingCoeff in corner case
spielwiese
|
|
|
@c3e25cb
|
11 years |
martinlee84 |
fix: make sure the right level is computed
spielwiese
|
|
|
@b27212
|
11 years |
martinlee84 |
fix: wrong index
spielwiese
|
|
|
@d46a8d
|
11 years |
martinlee84 |
fix: missing delete
spielwiese
|
|
|
@503490
|
11 years |
martinlee84 |
fix: error in lift bound
spielwiese
|
|
|
@04638b5
|
11 years |
martinlee84 |
chg: more toying around
spielwiese
|
|
|
@782895
|
11 years |
martinlee84 |
chg: toying around
spielwiese
|
|
|
@f2341ef
|
11 years |
martinlee84 |
fix: wrong check
spielwiese
|
|
|
@78a4f8b
|
11 years |
martinlee84 |
fix: wrong index
spielwiese
|
|
|
@d10821
|
11 years |
Oleksandr |
Sources should include config.h from the same directory (factory/)
spielwiese
|
|
|
@3c702a
|
11 years |
Oleksandr |
Public headers should not include private config.h
spielwiese
|
|
|
@fd8511
|
11 years |
martinlee84 |
fix: bad condition
spielwiese
|
|
|
@d101b1
|
11 years |
Oleksandr Motsak <http://goo.gl/mcpzY> |
Silence some warnings about statements without effect
Insired by ...
spielwiese
|
|
|
@5fdf7a
|
11 years |
max |
Replace --no-{rtti,exceptions} by -fno-{rtti,exceptions}
This ...
spielwiese
|
|
|
@b15cf85
|
11 years |
martinlee84 |
fix: memory leak
Conflicts:
factory/canonicalform.h
spielwiese
|
|
|
@14e634
|
11 years |
martinlee84 |
fix: bug in factorization over Q(a)
spielwiese
|
|
|
@240fe3
|
12 years |
jengelh |
build: use simpler relative path specifications
Cosmetic only. It ...
spielwiese
|
|
|
@280286e
|
11 years |
jengelh |
build: resolve automake 1.12 warnings
...
spielwiese
|
|
|
@f659855
|
11 years |
martinlee84 |
fix: wrong deletion of FLINT matrices
spielwiese
|
|
|
@22002e
|
11 years |
martinlee84 |
chg: synchronising master and spielwiese
spielwiese
|
|
|
@147b6d
|
11 years |
martinlee84 |
chg: FLINT interface to nmod_mat_rref
spielwiese
|
|
|
@fd80670
|
11 years |
martinlee84 |
fix: bug in divrem2 and logDeriv
spielwiese
|
|
|
@c49e6f
|
11 years |
martinlee84 |
fix: several fixes for factorization if extension needed
spielwiese
|
|
|
@894604
|
11 years |
martinlee84 |
fix: wrong lifting precision in corner cases
spielwiese
|
|
|
@2e984a
|
11 years |
Oleksandr |
Use silent-rules if available (in more recent versions of automake)
spielwiese
|
|
|
@c9733f
|
11 years |
martinlee84 |
chg: add new function diophantineQa
spielwiese
|
|
|
@e23e9c
|
11 years |
martinlee84 |
chg: speed up of diophantineHensel and diophantineHenselQa
spielwiese
|
|
|
@96d5052
|
11 years |
martinlee84 |
fix: prevent content from dividing out too much
spielwiese
|
|
|
@7e3d56
|
11 years |
martinlee84 |
fix: computation of factor bound over Q(a)
spielwiese
|
|
|
@bffe62d
|
11 years |
martinlee84 |
chg: skip zz_p::init() if it is already correctly initialized
spielwiese
|
|
|
@a209e1d
|
11 years |
martinlee84 |
fix: make sure factors are lifted high enough to apply naive recombination
spielwiese
|
|
|
@f3bd4c
|
11 years |
martinlee84 |
chg: added new files to Makefile
spielwiese
|
|
|
@428b38e
|
11 years |
martinlee84 |
chg: use NTL in tryBrownGCD
spielwiese
|
|
|
@241a04
|
11 years |
martinlee84 |
chg: use NTL in tryDiophantine
spielwiese
|
|
|
@70c40f
|
11 years |
martinlee84 |
add: new functions for univariate GCD and XGCD computations
over ...
spielwiese
|
|
|
@4f6d99
|
11 years |
martinlee84 |
chg: better recovery of factors in univariate factorization over Q(a)
spielwiese
|
|
|
@f6237dd
|
11 years |
martinlee84 |
chg: faster computation of resultants
Conflicts:
...
spielwiese
|
|
|
@1e5c50
|
11 years |
martinlee84 |
chg: faster divisibility test in univariate case in QGCD
chg: added ...
spielwiese
|
|
|
@6ea864
|
11 years |
martinlee84 |
chg: faster recovery of factors in univariate factorization over Q(a)
spielwiese
|
|
|
@a37b34
|
11 years |
martinlee84 |
fix: bug in conversion to NTL/FLINT
spielwiese
|
|
|
@b2c7a2
|
11 years |
martinlee84 |
chg: leave bivariate factorization earlier if univariate image is ...
spielwiese
|
|
|
@6dfc39
|
11 years |
martinlee84 |
fix: bug in diophantineHenselQa
spielwiese
|
|
|
@86faff
|
11 years |
martinlee84 |
chg: more checks in heurstic to distribute leading coefficients
spielwiese
|
|
|
@6e8834
|
11 years |
martinlee84 |
chg: pass to larger extension in ezgcd_p
spielwiese
|
|
|
@5b2d2b
|
11 years |
martinlee84 |
fix: gcd_test_one now checks for coprimality over extension
chg: ...
spielwiese
|
|
|
@2024b69
|
11 years |
martinlee84 |
chg: commented out unused errmsg
fix: dangling else
spielwiese
|
|
|
@885e76
|
11 years |
martinlee84 |
chg: commented out some unused functions
spielwiese
|
|
|
@688504
|
11 years |
martinlee84 |
chg: deleted unused mypsr
spielwiese
|
|
|
@1fa5f53
|
11 years |
martinlee84 |
fix: extraneous parentheses
spielwiese
|
|
|
@5337d7
|
11 years |
martinlee84 |
fix: dangling else
spielwiese
|
|
|
@a0adc3
|
11 years |
martinlee84 |
chg: deleted unused parameters from getLeadingCoeffs
spielwiese
|
|
|
@e2e4be
|
11 years |
martinlee84 |
chg: replaced balance by balance_p
spielwiese
|
|
|
@a64b0e
|
11 years |
martinlee84 |
chg: deleted unused tryDivide
spielwiese
|
|
|
@5e28ea
|
11 years |
Oleksandr |
Temporary removed -Winline
TODO: revert this upon starting optimizing ...
spielwiese
|
|
|
@8e7e6d4
|
12 years |
Oleksandr |
Testing with -ftrapv
spielwiese
|
|
|
@18ccf2
|
12 years |
martinlee84 |
chg: avoid undefined signed integer overflow
spielwiese
|
|
|
@8c00057
|
12 years |
martinlee84 |
chg: normalize gcd in extgcd computation via NTL
spielwiese
|
|
|
@8fa570
|
12 years |
martinlee84 |
chg: use FLINT linear algebra in sparse modular gcd
spielwiese
|
|
|
@447349
|
12 years |
martinlee84 |
chg: fix compiler warnings
spielwiese
|
|
|
@49660c
|
12 years |
martinlee84 |
chg: use FLINT linear algebra in bivariate factorization over finite fields
spielwiese
|
|
|
@692aed
|
12 years |
martinlee84 |
chg: added conversion of matrices to FLINT matrices
spielwiese
|
|
|
@4604b84
|
12 years |
martinlee84 |
chg: use FLINT in modular resultant computation
spielwiese
|
|
|
@4782bc
|
12 years |
martinlee84 |
chg: use flint in algext
spielwiese
|
|
|
@c8f95d
|
12 years |
martinlee84 |
chg: use flint in extgcd over Z/p
spielwiese
|
|
|
@fd2316c
|
12 years |
martinlee84 |
chg: use flint in computation of univariate gcd and extgcd over Z/Q
spielwiese
|
|
|
@139f6f
|
12 years |
martinlee84 |
chg: new include paths of flint header due to newer version
spielwiese
|
|
|