|
|
0715c2d52f
|
Base Python script for working with ranks added
|
2020-03-29 23:29:21 +03:00 |
|
|
|
230f37c9bb
|
Improved rank saving
Now using full bit mask instead of functions list
|
2020-03-29 23:29:02 +03:00 |
|
|
|
3c0d408989
|
State saving + conditions optimization
|
2020-03-29 21:01:58 +03:00 |
|
|
|
e99f1874ad
|
Improved tex output to file
|
2020-03-22 18:35:13 +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 |
|
|
|
e529a2f2ac
|
Using buil-in gcc function for counting bits
|
2019-12-13 19:06:51 +03:00 |
|
|
|
d9c4e717ef
|
Using assert in Vector constructor
|
2019-12-13 19:06:30 +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 |
|
|
|
24fb0c87f4
|
Added negation for single argument
|
2019-12-08 23:54:34 +03:00 |
|
|
|
a6597e269e
|
Added static sign validation for ALFunction
|
2019-12-08 23:54:03 +03:00 |
|
|
|
a0859fe44f
|
Initial version
|
2019-11-21 16:13:40 +03:00 |
|
|
|
1868529cbc
|
Improved .gitignore
|
2019-11-21 16:13:25 +03:00 |
|
|
|
b718991de4
|
Initial commit
|
2019-11-19 22:03:26 +02:00 |
|
