Magma V2.7-3      Tue Nov  7 2000 16:13:02 on modular  [Seed = 1767580432]
Type ? for help.  Type <Ctrl>-D to quit.

Loading startup file "/home/was/modsym/init.m"

Loading "/home/was/modsym/init-magma.m"
C               IndexGamma0     R               ellap           idxG0
CS              MS              S               factormod       modcharpoly
DC              ND              Tn              factorpadic     padiccharpoly
ES              NS              Z               fcp             qexp
F               Q               charpoly        fn              x
Time: 120.669

Total time: 124.799 seconds