|
|
a51386a890
|
[debug] Trying to save filling state
|
2020-03-20 14:53:01 +03:00 |
|
|
|
0d284b7bfc
|
Improved result output
|
2020-02-24 22:53:34 +03:00 |
|
|
|
fe354a84cb
|
Fixed possible linear transormations
Because we use only Z[2] instead of R or even Z
|
2020-02-24 22:53:14 +03:00 |
|
|
|
d22d8cfde8
|
Added functions representation string
|
2020-02-24 22:52:21 +03:00 |
|
|
|
747b3a6ef2
|
More tests
|
2020-02-24 22:49:55 +03:00 |
|
|
|
5badb6b27d
|
Fixed missprint with var negation (4)
|
2020-02-24 22:48:55 +03:00 |
|
|
|
8ce723d062
|
File output reduced
|
2020-02-03 19:58:53 +03:00 |
|
|
|
ebbcfa4973
|
Output improved
|
2019-12-13 19:11:25 +03:00 |
|
|
|
6f53902d6c
|
Added output for two-argument functions
|
2019-12-13 19:11:16 +03:00 |
|
|
|
114f8a491a
|
Now shoud work for 4 arguments
|
2019-12-13 19:08:07 +03:00 |
|
|
|
31c08fba76
|
Using constexpt for getting initial functions
|
2019-12-13 19:07:17 +03:00 |
|
|
|
07c4eacf1a
|
Added determinant for matrices of any size
|
2019-12-13 19:06:16 +03:00 |
|
|
|
30ddecfa3c
|
Base version with linear combinated classes
|
2019-12-13 18:17:29 +03:00 |
|
|
|
d3b1fc754a
|
Improved filtering, with finding equal classes
But only with negation now
|
2019-12-08 23:55:09 +03:00 |
|
|
|
a0859fe44f
|
Initial version
|
2019-11-21 16:13:40 +03:00 |
|
