- 12 Nov, 2019 1 commit
-
-
Hynek Baran authored
-
- 31 Oct, 2019 2 commits
-
-
Hynek Baran authored
-
Hynek Baran authored
-
- 12 Sep, 2019 2 commits
-
-
Hynek Baran authored
-
Hynek Baran authored
-
- 10 Sep, 2019 1 commit
-
-
Hynek Baran authored
-
- 17 May, 2019 1 commit
-
-
Hynek Baran authored
* testing new nonlinear resolve implementation in file (cat(jets_new_resolve_enable, "/Jets.newresolve.s")) * LVar returns NULL on expressions without Vars * numerous bug fixes in the computation of coverings (MM 23.4.2019)
-
- 02 May, 2019 2 commits
-
-
Hynek Baran authored
-
Hynek Baran authored
-
- 25 Mar, 2019 1 commit
-
-
Hynek Baran authored
-
- 04 Dec, 2018 2 commits
-
-
Hynek Baran authored
-
Hynek Baran authored
-
- 20 Nov, 2018 2 commits
-
-
Hynek Baran authored
-
Hynek Baran authored
-
- 07 Nov, 2018 1 commit
-
-
Hynek Baran authored
-
- 06 Nov, 2018 2 commits
-
-
Hynek Baran authored
-
Hynek Baran authored
-
- 31 Oct, 2018 2 commits
-
-
Hynek Baran authored
-
Hynek Baran authored
terminology: "combine" replaced by "reduce"
-
- 30 Oct, 2018 2 commits
-
-
Hynek Baran authored
-
Hynek Baran authored
-
- 29 Oct, 2018 7 commits
-
-
Hynek Baran authored
-
Hynek Baran authored
-
Hynek Baran authored
`resolve/nonlin/combine/2` is accepting 2 arguments (to combine two sets, i. e. apply pseudoremainer on cartesian product of two sets) TODO: combinat[cartprod] is very slow (since ) whereas `resolve/nonlin/combine/1` apply on single set (pseudoremainder on pairs (but single call on [a,b] ~ [b,a]))
-
Hynek Baran authored
-
Hynek Baran authored
-
Hynek Baran authored
-
Hynek Baran authored
all combining (linear+nonlinear) is done AFTER initial attempt of resolving input eqs
-
- 26 Oct, 2018 1 commit
-
-
Hynek Baran authored
jedeme na vikend
-
- 25 Oct, 2018 4 commits
-
-
Hynek Baran authored
-
Hynek Baran authored
-
Hynek Baran authored
-
Hynek Baran authored
reporting of fails by MM TODO: BUG FOUND! pokusy2deg3 RESOLVE: <0, 41344> `resolve/data/collect/detect`[0]: No unknowns in res
-
- 19 Oct, 2018 1 commit
-
-
Hynek Baran authored
Sent to MM # TODO: # * in remainder fails, references to source nonlinear fails are missing # * recursive remainder generation is missing (we have single-pass only) # * `resolve/nonresrat` is not implemented
-
- 18 Oct, 2018 3 commits
-
-
Hynek Baran authored
Jdeme domu.
-
Hynek Baran authored
-
Hynek Baran authored
TODO: 1. `resolve/nonlin/combine/2` must take records as arguments 2. `resolve/data/collect/remainder` must treat correct data, e. g. store parents
-
- 17 Oct, 2018 3 commits
-
-
Hynek Baran authored
`resolve/nonlin/combine` works properly using `resolve/nonlin/combine/2/tool` := `resolve/nonlin/combine/2/rem`: on quadratic polynomials (fixed?) using linderive() disabled
-
Hynek Baran authored
`resolve/nonlin/combine` works properly using `resolve/nonlin/combine/2/tool` := `resolve/nonlin/combine/2/rem`: on quadratic polynomials (?)
-
Hynek Baran authored
-