Wojciech Politarczyk
|
7cde96e48f
|
Verification of perioidcity congruences is finished
Verification of periodicity congruences is finished and works ok.
|
2016-11-29 16:21:48 +01:00 |
|
Cotton Seed
|
5f4dfe8cf1
|
More updates to c++11: partial initializer_lists and range-based for
support.
|
2012-07-28 08:14:11 -04:00 |
|
Cotton Seed
|
fdb87caa41
|
First cut at moving the code over to C++11.
|
2012-07-27 15:37:47 -04:00 |
|
Cotton Seed
|
1ea96353a7
|
Added io support for std::string. Added order on laurent polynomials.
main tests io on map<multivariate_laurentpoly, std::string>.
|
2011-12-29 19:38:02 -05:00 |
|
Cotton Seed
|
dcbe4127bd
|
First commit in git. This is a cleaned up version of r114 from the
now deprecated SVN repository.
|
2011-12-09 15:50:25 -05:00 |
|