1
0
mirror of https://github.com/kalmarek/PropertyT.jl.git synced 2024-08-16 09:57:28 +02:00
Commit Graph

4 Commits

Author SHA1 Message Date
ff4f9e7857 faster version of reconstruct_sol 2017-06-23 13:38:45 +02:00
709f030cb5 Nemo is already in scope 2017-06-22 21:06:51 +02:00
1053a28970 remove left-over usings/imports 2017-06-22 15:31:55 +02:00
77121c32eb add orbit-related code 2017-06-22 14:12:35 +02:00