Skip to content

Instantly share code, notes, and snippets.

@edgarcosta
Created December 21, 2025 12:06
Show Gist options
  • Select an option

  • Save edgarcosta/e80d110296e12360a5cbccf5e59f0eb8 to your computer and use it in GitHub Desktop.

Select an option

Save edgarcosta/e80d110296e12360a5cbccf5e59f0eb8 to your computer and use it in GitHub Desktop.
.
├── __pycache__
│ └── magma_style_fixer.cpython-313.pyc
├── bug.m
├── build_magma.sh
├── defaultdict.m
├── defaultdict_package.m
├── Doc
│ ├── Info
│ │ ├── info_alg_geo_crv.txt
│ │ ├── info_alg_geo_sch.txt
│ │ ├── info_alg_geo_shv.txt
│ │ ├── info_alg_geo_surf.txt
│ │ ├── info_alg_geo_toric.txt
│ │ ├── info_anf.txt
│ │ ├── info_anl.txt
│ │ ├── info_ant_orig.txt
│ │ ├── info_arithg.txt
│ │ ├── info_ass_alg_fpa.txt
│ │ ├── info_ass_alg_intro.txt
│ │ ├── info_ass_alg_mat.txt
│ │ ├── info_ass_alg_quat.txt
│ │ ├── info_ass_alg_scon.txt
│ │ ├── info_cmb_thy_dgns.txt
│ │ ├── info_cmb_thy_gphs.txt
│ │ ├── info_cmb_thy_had.txt
│ │ ├── info_cmb_thy_intro.txt
│ │ ├── info_cmb_thy_part.txt
│ │ ├── info_cmb_thy_plns.txt
│ │ ├── info_com_alg_ideals.txt
│ │ ├── info_com_alg_inv.txt
│ │ ├── info_com_alg_mods.txt
│ │ ├── info_com_rng_all.txt
│ │ ├── info_com_rng_cmpx.txt
│ │ ├── info_com_rng_ffld.txt
│ │ ├── info_com_rng_int.txt
│ │ ├── info_com_rng_intro.txt
│ │ ├── info_com_rng_poly.txt
│ │ ├── info_development.txt
│ │ ├── info_gb.txt
│ │ ├── info_grp_thy_abel.txt
│ │ ├── info_grp_thy_fp.txt
│ │ ├── info_grp_thy_mat.txt
│ │ ├── info_grp_thy_perm.txt
│ │ ├── info_index.txt
│ │ ├── info_lat.txt
│ │ ├── info_lin_codes_add.txt
│ │ ├── info_lin_codes_fld.txt
│ │ ├── info_lin_codes_qecc.txt
│ │ ├── info_lin_codes_rng.txt
│ │ ├── info_members.txt
│ │ ├── info_mod_arithg.txt
│ │ ├── info_mod_form.txt
│ │ ├── info_mod_thy.txt
│ │ ├── info_num_thy_artrep.txt
│ │ ├── info_num_thy_ellcrv.txt
│ │ ├── info_num_thy_elm.txt
│ │ ├── info_num_thy_ffcrv.txt
│ │ ├── info_num_thy_hypcrv.txt
│ │ ├── info_num_thy_lfun.txt
│ │ ├── info_num_thy_loc.txt
│ │ ├── info_rep_thy.txt
│ │ └── info_summary.txt
│ ├── Magma-HB
│ │ ├── Auxil
│ │ ├── bin
│ │ ├── Chaps
│ │ ├── DOC
│ │ ├── Full
│ │ ├── Help
│ │ ├── Inputs
│ │ ├── README
│ │ └── Text
│ ├── Magma-HB.tar
│ ├── Over
│ │ ├── html.sty
│ │ ├── overv213.tex
│ │ ├── overv214.tex
│ │ ├── overv215.tex
│ │ ├── overv216.tex
│ │ ├── overv217.tex
│ │ ├── overv218.tex
│ │ ├── overv219.tex
│ │ ├── overv220.tex
│ │ ├── overv221.tex
│ │ ├── overv222.tex
│ │ ├── overv223.tex
│ │ ├── overv224.tex
│ │ ├── overv225.tex
│ │ ├── overv226.tex
│ │ ├── overv227.tex
│ │ ├── overv228.tex
│ │ └── overv229.tex
│ ├── Par
│ │ └── parsum.tex
│ ├── Rel
│ │ ├── hack
│ │ ├── html.sty
│ │ ├── notes_v220
│ │ ├── Parallel.tex
│ │ ├── ravel
│ │ ├── rel_skeleton.tex
│ │ ├── relv24.tex
│ │ ├── relv25.tex
│ │ ├── relv26.tex
│ │ ├── relv27.tex
│ │ ├── relv28.tex
│ │ ├── relv29.tex
│ │ ├── relv210.tex
│ │ ├── relv211.tex
│ │ ├── relv212.tex
│ │ ├── relv213.tex
│ │ ├── relv214.tex
│ │ ├── relv215.tex
│ │ ├── relv216.tex
│ │ ├── relv217.tex
│ │ ├── relv218.tex
│ │ ├── relv219.tex
│ │ ├── relv220.tex
│ │ ├── relv221.tex
│ │ ├── relv222.tex
│ │ ├── relv223.tex
│ │ ├── relv224.tex
│ │ ├── relv225.tex
│ │ ├── relv226.tex
│ │ ├── relv227.tex
│ │ ├── relv227_sum.tex
│ │ ├── relv228.tex
│ │ ├── relv229.aux
│ │ ├── relv229.fdb_latexmk
│ │ ├── relv229.fls
│ │ ├── relv229.log
│ │ ├── relv229.out
│ │ ├── relv229.pdf
│ │ ├── relv229.synctex.gz
│ │ └── relv229.tex
│ ├── tmp
│ │ ├── derek_notes
│ │ ├── elsarticle.cls
│ │ ├── irrmods.bib
│ │ ├── irrmods_v2.bib
│ │ ├── irrmods_v2.tex
│ │ ├── notes
│ │ └── rebut.tex
│ └── Web
│ ├── ChangeLogs
│ ├── FirstSteps.pdf
│ ├── index.htm
│ ├── README.txt
│ └── SolvingProblems.pdf
├── docker-compose.yml
├── Dockerfile
├── Dockerfile.extern -> ../extern/Dockerfile
├── emails
│ ├── README
│ ├── 'source setup.txt'
│ └── 'source setup2.txt'
├── Export
│ └── V2.28
│ ├── Doc
│ ├── libs
│ ├── mach
│ ├── package
│ ├── scripts
│ └── src
├── foo.spec
├── formatter.sh
├── GalRadical_v2.m
├── magma.linux
├── magma.mac
├── magma.new
├── magma_style_fixer.py
├── 'Magma style guide.txt'
├── origin
├── Prog
│ ├── doc
│ │ ├── aproto.doc
│ │ ├── bind.doc
│ │ ├── bind_only.doc
│ │ ├── compile.doc
│ │ ├── conventions
│ │ ├── creport
│ │ ├── cv.doc
│ │ ├── doc
│ │ ├── doc_fldemb.doc
│ │ ├── DOTcvinit
│ │ ├── exports
│ │ ├── exports.2.9
│ │ ├── fccs.doc
│ │ ├── LaTeX
│ │ ├── mem.doc
│ │ ├── ms.doc
│ │ ├── scripts.doc
│ │ ├── subs.doc
│ │ ├── svnguide.doc
│ │ ├── things.doc
│ │ ├── user_types.doc
│ │ └── xref.doc
│ ├── libs
│ │ ├── c9lattices
│ │ ├── galpols
│ │ ├── intro
│ │ ├── isolgps
│ │ ├── matgps
│ │ ├── pergps
│ │ ├── prof
│ │ ├── README
│ │ ├── simgps
│ │ ├── solgps
│ │ └── test
│ ├── mach
│ │ ├── allan.cuda
│ │ ├── allan.cuda.git
│ │ ├── allan.cuda.git.mflint
│ │ ├── allan.dev
│ │ ├── allan.dsch
│ │ ├── allan.nd_fc
│ │ ├── allan.nd_fc.git
│ │ ├── allan.non_cuda
│ │ ├── amd64.allan
│ │ ├── arm64mac
│ │ ├── arm64mac.exp
│ │ ├── assaferan_ubuntu.dev
│ │ ├── berlioz.allan
│ │ ├── billu.dev
│ │ ├── claus.dev.eeepc
│ │ ├── claus.opt.eeepc
│ │ ├── claus.src.eeepc
│ │ ├── claus.val.eeepc
│ │ ├── danr
│ │ ├── degas.damien
│ │ ├── dev_shared
│ │ ├── dhowden
│ │ ├── docker_ubuntu.dev
│ │ ├── don.dev
│ │ ├── donnelly.dev
│ │ ├── dumas.claus.dev
│ │ ├── dumas.claus.opt
│ │ ├── dumas.claus.opt32
│ │ ├── dumas.claus.src
│ │ ├── dumas.claus.stable
│ │ ├── dumas.claus.time
│ │ ├── dumas.claus.val
│ │ ├── dumas_shared.dev
│ │ ├── fang.allan
│ │ ├── flavius.allan
│ │ ├── galois
│ │ ├── geoff.dev
│ │ ├── geoff.gc
│ │ ├── greg.dev
│ │ ├── home.claus.ctime
│ │ ├── home.claus.dev
│ │ ├── home.claus.opt
│ │ ├── home.claus.src
│ │ ├── home.claus.time
│ │ ├── home.damien.linux
│ │ ├── home.nicole
│ │ ├── i64mac.allan
│ │ ├── intel64-linux.exp.n13
│ │ ├── intel64-linux.exp.node3
│ │ ├── jasper.dev
│ │ ├── john.dev
│ │ ├── jvoight_ubuntu.dev
│ │ ├── kasprzyk
│ │ ├── lepidus.allan
│ │ ├── mikes
│ │ ├── murray.dev
│ │ ├── nicole.dev
│ │ ├── phenom64.watkins
│ │ ├── rey.dev
│ │ ├── rey_ubuntu.dev
│ │ ├── sergei
│ │ ├── stephan.dev
│ │ ├── stephan_ubuntu.dev
│ │ ├── template.dev
│ │ ├── template_ubuntu.dev
│ │ ├── ubuntu.lava
│ │ ├── ubuntu.lava-noscript
│ │ ├── voight.dev
│ │ ├── volker
│ │ ├── volker.x86_32
│ │ ├── volker.x86_64
│ │ ├── x86-msc
│ │ ├── x86_64-centos-exp
│ │ └── x86_64-ubuntu-exp
│ ├── nonexport
│ │ ├── package
│ │ └── test
│ ├── package
│ │ ├── Aggregate
│ │ ├── Algebra
│ │ ├── Code
│ │ ├── Commut
│ │ ├── FIXME
│ │ ├── Forms
│ │ ├── Geometry
│ │ ├── Group
│ │ ├── HomAlg
│ │ ├── Incidence
│ │ ├── Lattice
│ │ ├── LieThry
│ │ ├── Module
│ │ ├── Opt
│ │ ├── RepThry
│ │ ├── Ring
│ │ ├── Semigroup
│ │ ├── spec
│ │ ├── string.py
│ │ ├── System
│ │ ├── Topology
│ │ └── VERSION
│ ├── release
│ │ ├── historical
│ │ ├── macos
│ │ └── magma
│ ├── scripts
│ │ ├── aproto
│ │ ├── build
│ │ ├── cproto-4.6
│ │ ├── cproto-4.7e
│ │ ├── fix_missing_protos
│ │ ├── make_first_source
│ │ ├── make_mf
│ │ ├── make_mf_mach
│ │ ├── Makefile
│ │ ├── makev4ref
│ │ ├── README
│ │ ├── subsargs
│ │ └── upd_dev_date
│ ├── src
│ │ ├── ace
│ │ ├── ace_int
│ │ ├── acf
│ │ ├── Alff
│ │ ├── Alff_div
│ │ ├── Alffo
│ │ ├── Alffo_elt
│ │ ├── Alffo_ideal
│ │ ├── alg
│ │ ├── alg_ass_ord
│ │ ├── alg_lie_extr
│ │ ├── alg_lie_km_aff
│ │ ├── alg_pbw
│ │ ├── algcon
│ │ ├── attr
│ │ ├── aut
│ │ ├── auto
│ │ ├── Automorphism
│ │ ├── basica
│ │ ├── bind
│ │ ├── block
│ │ ├── bool
│ │ ├── bs
│ │ ├── cart
│ │ ├── channel
│ │ ├── char2dlog
│ │ ├── chtr
│ │ ├── chtr_table
│ │ ├── chtrng
│ │ ├── cl_grp_sieve
│ │ ├── Classgroup
│ │ ├── Classgroup1
│ │ ├── code
│ │ ├── cohomology
│ │ ├── comp_factors
│ │ ├── conic
│ │ ├── constr
│ │ ├── conv
│ │ ├── cop
│ │ ├── coset
│ │ ├── coset_geom
│ │ ├── coset_space
│ │ ├── costab
│ │ ├── crypto
│ │ ├── cuda
│ │ ├── cyclo
│ │ ├── db_gen
│ │ ├── Ded_module
│ │ ├── differential
│ │ ├── digraph
│ │ ├── Diophant
│ │ ├── dirichlet
│ │ ├── Div
│ │ ├── Div_Num
│ │ ├── dmodule
│ │ ├── dpoly
│ │ ├── dyn
│ │ ├── ec
│ │ ├── ecm
│ │ ├── edge
│ │ ├── eseq
│ │ ├── facint
│ │ ├── faclst
│ │ ├── faugere
│ │ ├── ff
│ │ ├── ffpoly
│ │ ├── FFZero
│ │ ├── FldAb
│ │ ├── fp_algebra
│ │ ├── fp_monoid
│ │ ├── fp_semigrp
│ │ ├── fp_word
│ │ ├── fsa
│ │ ├── fset
│ │ ├── galoisr
│ │ ├── gc
│ │ ├── glue
│ │ ├── gme
│ │ ├── graph
│ │ ├── group
│ │ ├── grp_ab
│ │ ├── grp_ab_gen
│ │ ├── grp_alg
│ │ ├── grp_atc
│ │ ├── grp_atlas
│ │ ├── grp_autg
│ │ ├── grp_brd
│ │ ├── grp_cayg
│ │ ├── grp_clt
│ │ ├── grp_fp
│ │ ├── grp_gar
│ │ ├── grp_gen
│ │ ├── grp_lie
│ │ ├── grp_p
│ │ ├── grp_pc
│ │ ├── grp_pcbf
│ │ ├── grp_pyc
│ │ ├── grp_rws
│ │ ├── grp_sdp
│ │ ├── grp_slp
│ │ ├── grp_sol
│ │ ├── gset
│ │ ├── hc
│ │ ├── help
│ │ ├── hess_qr
│ │ ├── homg
│ │ ├── inc
│ │ ├── inc_geom
│ │ ├── INCLUDE
│ │ ├── indexcal
│ │ ├── infinite
│ │ ├── integer
│ │ ├── interp
│ │ ├── interp.zip
│ │ ├── invar
│ │ ├── IO
│ │ ├── jac
│ │ ├── KANT_Galois
│ │ ├── KANT_Int
│ │ ├── KANT_IO
│ │ ├── KANT_Kext
│ │ ├── KANT_Magma
│ │ ├── KANT_Move
│ │ ├── KANT_PVM
│ │ ├── kbm
│ │ ├── Lat
│ │ ├── lattice
│ │ ├── lattice.c.BAK
│ │ ├── lazy
│ │ ├── libso_dirs -> OS/libso_dirs
│ │ ├── lie_rep_dec
│ │ ├── linear_prog
│ │ ├── linear_sys
│ │ ├── lip
│ │ ├── list
│ │ ├── lix
│ │ ├── lll
│ │ ├── locala
│ │ ├── LP
│ │ ├── main
│ │ ├── Makefile -> OS/Makefile
│ │ ├── Makefile.dirs.edit
│ │ ├── Makefile.src -> OS/Makefile.src
│ │ ├── MakeInc -> OS/MakeInc
│ │ ├── map
│ │ ├── mat
│ │ ├── mat_numer
│ │ ├── mata
│ │ ├── matg
│ │ ├── matp
│ │ ├── Matrix
│ │ ├── mdt
│ │ ├── MEM
│ │ ├── mflint
│ │ ├── mmat
│ │ ├── mod_coho
│ │ ├── mod_crv
│ │ ├── moda
│ │ ├── moded
│ │ ├── modhom
│ │ ├── modtuple
│ │ ├── mof
│ │ ├── mon_rws
│ │ ├── morain
│ │ ├── mpi
│ │ ├── mpqs
│ │ ├── msq
│ │ ├── multi_digraph
│ │ ├── multi_graph
│ │ ├── nauty
│ │ ├── ncomplex
│ │ ├── Neq
│ │ ├── network
│ │ ├── newton
│ │ ├── nfs
│ │ ├── nfs_dlog
│ │ ├── nlocalr_quo
│ │ ├── nq
│ │ ├── nquad
│ │ ├── nreal
│ │ ├── num
│ │ ├── op
│ │ ├── Order
│ │ ├── Order_elt_div
│ │ ├── Order_ideal
│ │ ├── ordrepn
│ │ ├── partition
│ │ ├── partn
│ │ ├── permc
│ │ ├── permg
│ │ ├── permp
│ │ ├── pl_div
│ │ ├── plane
│ │ ├── pme
│ │ ├── polyf
│ │ ├── PolyFactor
│ │ ├── pow
│ │ ├── pq_new
│ │ ├── pq_new_int
│ │ ├── pr
│ │ ├── prbs
│ │ ├── process
│ │ ├── prof
│ │ ├── proj_matg
│ │ ├── qform
│ │ ├── quad
│ │ ├── random
│ │ ├── rat_crv
│ │ ├── rational
│ │ ├── Rayclassgroup
│ │ ├── record
│ │ ├── reid
│ │ ├── Rel_ext
│ │ ├── Rel_lat
│ │ ├── Rel_neq
│ │ ├── Rel_nf
│ │ ├── Rel_sys
│ │ ├── relation
│ │ ├── RelRound2
│ │ ├── relshp
│ │ ├── reslist
│ │ ├── ring
│ │ ├── Ring_ext
│ │ ├── Ring_ext_elt
│ │ ├── Ring_ext_elt_rep
│ │ ├── Round2
│ │ ├── Round4
│ │ ├── rs
│ │ ├── scheme
│ │ ├── sclass
│ │ ├── series
│ │ ├── series_alg
│ │ ├── set
│ │ ├── SH
│ │ ├── sieve_pol
│ │ ├── sim
│ │ ├── simple
│ │ ├── slat
│ │ ├── slpoly
│ │ ├── smat
│ │ ├── sml
│ │ ├── sparse_graph
│ │ ├── sparse_graph_C
│ │ ├── sq
│ │ ├── src
│ │ ├── sseq
│ │ ├── stoll
│ │ ├── stream
│ │ ├── string
│ │ ├── Subfield
│ │ ├── symmetric
│ │ ├── system
│ │ ├── table
│ │ ├── tableau
│ │ ├── tpoly
│ │ ├── TRACE
│ │ ├── tuple
│ │ ├── tz
│ │ ├── UnitEq
│ │ ├── Units
│ │ ├── vararg
│ │ ├── vertex
│ │ ├── vpoly
│ │ ├── vring
│ │ ├── xpadic
│ │ └── zm
│ └── test
│ ├── Aggregates
│ ├── Algebra
│ ├── Basics
│ ├── Code
│ ├── Commut
│ ├── Crypt
│ ├── find_err
│ ├── Geometry
│ ├── Group
│ ├── Incidence
│ ├── inner
│ ├── Lat
│ ├── LieTheory
│ ├── Module
│ ├── Opt
│ ├── README.md
│ ├── RepThy
│ ├── Ring
│ ├── run
│ ├── start
│ ├── System
│ ├── TIMINGS
│ ├── TIMINGS.ex
│ ├── TODO
│ └── Topology
├── PToXIW
├── rank_bounds.m
├── README.extern
├── stoll.m
└── types.txt
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment