|
|
|
@ae57765
|
11 years |
mohamed.barakat |
updated .gitignore (automake1.13)
spielwiese
|
|
|
@ef86515
|
11 years |
Oleksandr |
Fixing the distribution of emacs files due to Mac OS X or older automake
spielwiese
|
|
|
@46dd2e
|
11 years |
Oleksandr |
Removed fancy m4 syntax from help output within AX_PYTHON_WITH_VERSION
spielwiese
|
|
|
@d5a6a2
|
11 years |
mohamed.barakat |
Merge pull request #282 from mohamed-barakat/spielwiese
updated .gitignore
spielwiese
|
|
|
@27401d5
|
11 years |
mohamed.barakat |
updated .gitignore
spielwiese
|
|
|
@2a3743
|
11 years |
mohamed.barakat |
Merge pull request #281 from mohamed-barakat/spielwiese
added script ...
spielwiese
|
|
|
@bc03ea6
|
11 years |
mohamed.barakat |
added script clone_autogen_generated_stuff.sh (for Hans)
spielwiese
|
|
|
@e78f35
|
11 years |
Oleksandr |
Merge pull request #280 from ...
spielwiese
|
|
|
@d81e39d
|
11 years |
hannes |
fix: const
Conflicts:
kernel/ideals.cc
spielwiese
|
|
|
@ae78cf
|
11 years |
hannes |
fix: idKeepFirstK (Example_7_3_14)
Conflicts:
kernel/ideals.cc
spielwiese
|
|
|
@b0a811
|
11 years |
steenpass |
chg: incorporate some suggestions by Hans
Conflicts:
kernel/ideals.cc
spielwiese
|
|
|
@c81bf7
|
11 years |
steenpass |
chg: rewrite idDelEquals based on qsort()
Conflicts:
kernel/ideals.cc
spielwiese
|
|
|
@9234fb
|
11 years |
steenpass |
add: idKeepFirstK() in ideals.cc
Conflicts: ...
spielwiese
|
|
|
@14a455
|
11 years |
steenpass |
fix: heuristically choose correct function for minors
spielwiese
|
|
|
@26e817f
|
11 years |
Oleksandr |
Merge pull request #278 from mmklee/imap_minimal
add: minimal test ...
spielwiese
|
|
|
@bf919a
|
11 years |
martinlee84 |
add: minimal test for imap
spielwiese
|
|
|
@30acb78
|
11 years |
Oleksandr |
Merge pull request #277 from jankoboehm/spielwiese
Added better test ...
spielwiese
|
|
|
@55caed
|
11 years |
boehm |
Fixed wrong test result file for deform_s
spielwiese
|
|
|
@7bb006
|
11 years |
boehm |
Fixed wrong test result file for goodBasis
spielwiese
|
|
|
@e15ccf
|
11 years |
boehm |
Added better test for testParametrization
spielwiese
|
|
|
@e3c718
|
11 years |
Oleksandr |
The meaning of GCD/LCM for numbers is not defined by mathematics
spielwiese
|
|
|
@5625fe
|
11 years |
Oleksandr |
Merge pull request #274 from mmklee/sync
Sync
spielwiese
|
|
|
@73b2e9
|
11 years |
mohamed.barakat |
Merge pull request #276 from mohamed-barakat/spielwiese
*levandov: ...
spielwiese
|
|
|
@fd6524
|
11 years |
levandov |
*levandov: new version of tests by heinle for the new ncfactor lib
spielwiese
|
|
|
@e961571
|
11 years |
hannes |
fix: naGcd/naLcm
spielwiese
|
|
|
@11e593
|
11 years |
mohamed.barakat |
Merge pull request #275 from mohamed-barakat/spielwiese
*levandov: ...
spielwiese
|
|
|
@86ab483
|
12 years |
levandov |
*levandov: updated bibliography entries
spielwiese
|
|
|
@2cf05a
|
11 years |
Oleksandr |
Merge pull request #271 from jankoboehm/spielwiese
Added test for sat
spielwiese
|
|
|
@c8f2d4
|
11 years |
mohamed.barakat |
Merge pull request #273 from mohamed-barakat/spielwiese
mv files to ...
spielwiese
|
|
|
@77a4a9
|
11 years |
daniel.andres |
mv files to right folder
cherry-picks c4631fc
Conflicts: ...
spielwiese
|
|
|
@8c9cc0
|
11 years |
boehm |
Added test for quotient
spielwiese
|
|
|
@6d5e3ce
|
11 years |
boehm |
Added test for sat
spielwiese
|
|
|
@6b4d43
|
11 years |
mohamed.barakat |
Merge pull request #272 from mohamed-barakat/spielwiese
added ...
spielwiese
|
|
|
@3dcd82
|
11 years |
daniel.andres |
updated docu + bugfixes
spielwiese
|
|
|
@7daabc3
|
11 years |
mohamed.barakat |
added symodstd.tst to Tst/Short.lst
spielwiese
|
|
|
@0054e7
|
11 years |
mohamed.barakat |
Merge pull request #270 from mohamed-barakat/spielwiese
added ...
spielwiese
|
|
|
@2f6c055
|
12 years |
Christian Eder |
added Tst/short/Short/symodstd.*
it is rest of commit 8979f91:
...
spielwiese
|
|
|
@edb81b
|
11 years |
martinlee84 |
chg: missing stuff from master
spielwiese
|
|
|
@01c0d7f
|
11 years |
Oleksandr |
Merge pull request #269 from jankoboehm/spielwiese
Added test for syz
spielwiese
|
|
|
@86d6a4
|
11 years |
janko |
Added test for syz
spielwiese
|
|
|
@261602
|
11 years |
martinlee84 |
chg: some missing parts of Adi's commit
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
|
|
|
@7d1ce3e
|
11 years |
Oleksandr |
Merge pull request #267 from YueRen/thurnau
Update test results due ...
spielwiese
|
|
|
@6fb723
|
11 years |
ren |
fix: correct result files for Tracing_of_procedures.tst
running the ...
spielwiese
|
|
|
@c2f6bd
|
11 years |
ren |
fix: correct result files for listvar.tst
::denominator and ...
spielwiese
|
|
|
@afc974f
|
11 years |
ren |
fix: correct result files for bigints.tst
spielwiese
|
|
|
@de27d8
|
11 years |
hannes |
fix: intdiv/intmod/chinrem copied from master
spielwiese
|
|
|
@77ed181
|
11 years |
mohamed.barakat |
Merge pull request #266 from mohamed-barakat/spielwiese
created a new ...
spielwiese
|
|
|
@520eaa5
|
11 years |
mohamed.barakat |
created a new test: ignoring_denominators_of_coefficients.tst
spielwiese
|
|
|
@65148c4
|
11 years |
malex984 |
Merge pull request #265 from mohamed-barakat/spielwiese
clang fixes
spielwiese
|
|
|
@71a4d7
|
11 years |
malex984 |
Merge pull request #264 from mmklee/sync
Sync Master and Spielwiese
spielwiese
|
|
|
@a1da6f
|
12 years |
mohamed.barakat |
clang fixes
Conflicts:
IntegerProgramming/BigInt.h ...
spielwiese
|
|
|
@d826a8
|
11 years |
hannes |
fix: ring r=(49,a,b),x,dp; rInit with too many parameters
spielwiese
|
|
|
@cac65b
|
11 years |
hannes |
add: --cpus
from master
spielwiese
|
|
|
@853a8a
|
11 years |
Oleksandr |
Fixed BuchDL/Ex_L6.tst (updated test script)
spielwiese
|
|
|
@f1becf6
|
11 years |
martinlee84 |
chg: updated test results for gcdp_*.tst
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
|
|
|
@755f12
|
11 years |
martinlee84 |
chg: updated test results
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
|
|
|
@c2d3bb
|
11 years |
hannes |
chg: handling of alias (for example p(1+2))
from master
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
|
|
|
@c899161
|
11 years |
Oleksandr |
Fixed dynamic loading under Mac OS X
spielwiese
|
|
|