Revision d1241293f2f9bb31910e4edce8816b569daaf1eb authored by Maarten Derickx on 17 December 2024, 15:53:37 UTC, committed by Maarten Derickx on 17 December 2024, 15:53:37 UTC
1 parent 0138e3a
| File | Mode | Size |
|---|---|---|
| X1.m | -rw-r--r-- | 8.0 KB |
| X11.m | -rw-r--r-- | 7.0 KB |
| base_curve.m | -rw-r--r-- | 7.1 KB |
| rational_points.m | -rw-r--r-- | 904 bytes |
Computing file changes ...
