rewrite julia_to_gap
#1029
Merged
fingolfin merged 17 commits intooscar-system:masterfrom ThomasBreuer:TB_julia_to_gapSep 24, 2024
+548-311
Commits
Commits on Sep 23, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed