Skip to content

Instantly share code, notes, and snippets.

@tthsqe12
Last active Jun 17, 2022
Embed
What would you like to do?
[e134572f-a0d5-539d-bddf-3cad8db41a82]
FLINT = "/usr/local"
[d9960996-1013-53c9-9ba4-74a4155039c3]
Arb = "/usr/local"
[e21ec000-9f72-519e-ba6d-10061e575a27]
Antic = "/usr/local"
[fcfa6d1b-d8ce-59d5-8c0a-c0d7f69e4f40]
Calcium = "/usr/local"
#[ae4fbd8f-ecdb-54f8-bbce-35570499b30e]
#libsingular_julia = "/home/schultz/git/libsingular-julia/build"
#[43d676ae-4934-50ba-8046-7a96366d613b]
#Singular = "/home/schultz/git/Singular/build"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment