Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | 11-Oct-2021 | - | ||||
HEADER | H A D | 26-Oct-2020 | 20.7 KiB | 438 | 342 | |
bnfcertify | H A D | 26-Oct-2020 | 1.4 KiB | 33 | 30 | |
bnfdecodemodule | H A D | 27-Mar-2020 | 591 | 25 | 22 | |
bnfinit | H A D | 26-Oct-2020 | 6.8 KiB | 128 | 111 | |
bnfisintnorm | H A D | 27-Mar-2020 | 895 | 21 | 18 | |
bnfisnorm | H A D | 26-Oct-2020 | 1.5 KiB | 28 | 25 | |
bnfisprincipal | H A D | 26-Oct-2020 | 3.6 KiB | 79 | 71 | |
bnfissunit | H A D | 26-Oct-2020 | 223 | 8 | 7 | |
bnfisunit | H A D | 26-Oct-2020 | 3.3 KiB | 93 | 81 | |
bnflog | H A D | 27-Mar-2020 | 1.3 KiB | 29 | 25 | |
bnflogdegree | H A D | 27-Mar-2020 | 1.1 KiB | 25 | 22 | |
bnflogef | H A D | 27-Mar-2020 | 968 | 24 | 23 | |
bnfnarrow | H A D | 27-Mar-2020 | 841 | 17 | 16 | |
bnfsignunit | H A D | 26-Oct-2020 | 1,012 | 29 | 27 | |
bnfsunit | H A D | 23-May-2021 | 1 KiB | 29 | 22 | |
bnfunits | H A D | 26-Oct-2020 | 2.5 KiB | 73 | 62 | |
bnrL1 | H A D | 26-Oct-2020 | 2.8 KiB | 57 | 54 | |
bnrchar | H A D | 27-Mar-2020 | 1.3 KiB | 32 | 28 | |
bnrclassfield | H A D | 26-Oct-2020 | 2.4 KiB | 55 | 52 | |
bnrclassno | H A D | 27-Mar-2020 | 1.2 KiB | 29 | 25 | |
bnrclassnolist | H A D | 27-Mar-2020 | 1.2 KiB | 31 | 29 | |
bnrconductor | H A D | 26-Oct-2020 | 2.9 KiB | 65 | 52 | |
bnrconductorofchar | H A D | 27-Mar-2020 | 250 | 8 | 7 | |
bnrdisc | H A D | 27-Mar-2020 | 1.5 KiB | 31 | 28 | |
bnrdisclist | H A D | 27-Mar-2020 | 2.5 KiB | 51 | 42 | |
bnrgaloisapply | H A D | 27-Mar-2020 | 454 | 11 | 10 | |
bnrgaloismatrix | H A D | 26-Oct-2020 | 1.7 KiB | 57 | 44 | |
bnrinit | H A D | 26-Oct-2020 | 3.4 KiB | 64 | 57 | |
bnrisconductor | H A D | 27-Mar-2020 | 643 | 14 | 13 | |
bnrisgalois | H A D | 26-Oct-2020 | 1.4 KiB | 31 | 28 | |
bnrisprincipal | H A D | 26-Oct-2020 | 3.8 KiB | 78 | 71 | |
bnrmap | H A D | 26-Oct-2020 | 2.2 KiB | 39 | 35 | |
bnrrootnumber | H A D | 27-Mar-2020 | 1.4 KiB | 32 | 30 | |
bnrstark | H A D | 26-Oct-2020 | 2.2 KiB | 52 | 48 | |
dirzetak | H A D | 27-Mar-2020 | 346 | 10 | 9 | |
factornf | H A D | 26-Oct-2020 | 1.3 KiB | 34 | 30 | |
galoischardet | H A D | 27-Mar-2020 | 1.1 KiB | 30 | 28 | |
galoischarpoly | H A D | 27-Mar-2020 | 1.2 KiB | 33 | 32 | |
galoischartable | H A D | 27-Mar-2020 | 2.4 KiB | 72 | 60 | |
galoisconjclasses | H A D | 27-Mar-2020 | 1.1 KiB | 33 | 31 | |
galoisexport | H A D | 27-Mar-2020 | 1.3 KiB | 36 | 33 | |
galoisfixedfield | H A D | 27-Mar-2020 | 2 KiB | 41 | 36 | |
galoisgetgroup | H A D | 27-Mar-2020 | 852 | 21 | 19 | |
galoisgetname | H A D | 26-Oct-2020 | 1 KiB | 32 | 31 | |
galoisgetpol | H A D | 27-Mar-2020 | 1.6 KiB | 40 | 37 | |
galoisidentify | H A D | 27-Mar-2020 | 1.1 KiB | 24 | 20 | |
galoisinit | H A D | 26-Oct-2020 | 4 KiB | 106 | 79 | |
galoisisabelian | H A D | 27-Mar-2020 | 596 | 14 | 12 | |
galoisisnormal | H A D | 27-Mar-2020 | 559 | 13 | 11 | |
galoispermtopol | H A D | 27-Mar-2020 | 865 | 23 | 21 | |
galoissubcyclo | H A D | 27-Mar-2020 | 2.6 KiB | 57 | 47 | |
galoissubfields | H A D | 27-Mar-2020 | 423 | 10 | 9 | |
galoissubgroups | H A D | 27-Mar-2020 | 814 | 19 | 17 | |
idealadd | H A D | 26-Oct-2020 | 1.3 KiB | 45 | 39 | |
idealaddtoone | H A D | 27-Mar-2020 | 868 | 18 | 16 | |
idealappr | H A D | 26-Oct-2020 | 1.1 KiB | 24 | 20 | |
idealchinese | H A D | 26-Oct-2020 | 2.6 KiB | 74 | 67 | |
idealcoprime | H A D | 27-Mar-2020 | 376 | 10 | 9 | |
idealdiv | H A D | 26-Oct-2020 | 1.1 KiB | 23 | 21 | |
idealdown | H A D | 26-Oct-2020 | 617 | 22 | 21 | |
idealfactor | H A D | 27-Mar-2020 | 1.1 KiB | 42 | 34 | |
idealfactorback | H A D | 26-Oct-2020 | 1.8 KiB | 54 | 46 | |
idealfrobenius | H A D | 27-Mar-2020 | 963 | 24 | 23 | |
idealhnf | H A D | 27-Mar-2020 | 2 KiB | 74 | 60 | |
idealintersect | H A D | 27-Mar-2020 | 753 | 28 | 25 | |
idealinv | H A D | 27-Mar-2020 | 414 | 12 | 11 | |
idealismaximal | H A D | 26-Oct-2020 | 1.2 KiB | 34 | 32 | |
idealispower | H A D | 27-Mar-2020 | 662 | 28 | 24 | |
ideallist | H A D | 26-Oct-2020 | 2.2 KiB | 59 | 51 | |
ideallistarch | H A D | 27-Mar-2020 | 1.7 KiB | 41 | 39 | |
ideallog | H A D | 26-Oct-2020 | 1.6 KiB | 31 | 29 | |
idealmin | H A D | 27-Mar-2020 | 385 | 10 | 9 | |
idealmul | H A D | 26-Oct-2020 | 1.2 KiB | 34 | 32 | |
idealnorm | H A D | 27-Mar-2020 | 214 | 7 | 6 | |
idealnumden | H A D | 27-Mar-2020 | 393 | 14 | 13 | |
idealpow | H A D | 26-Oct-2020 | 895 | 22 | 19 | |
idealprimedec | H A D | 26-Oct-2020 | 2.1 KiB | 51 | 47 | |
idealprincipalunits | H A D | 27-Mar-2020 | 778 | 21 | 20 | |
idealramgroups | H A D | 26-Oct-2020 | 1.7 KiB | 46 | 39 | |
idealred | H A D | 26-Oct-2020 | 2.8 KiB | 61 | 55 | |
idealredmodpower | H A D | 27-Mar-2020 | 1.5 KiB | 39 | 36 | |
idealstar | H A D | 26-Oct-2020 | 3.3 KiB | 67 | 59 | |
idealtwoelt | H A D | 26-Oct-2020 | 2 KiB | 56 | 46 | |
idealval | H A D | 27-Mar-2020 | 542 | 13 | 12 | |
matalgtobasis | H A D | 27-Mar-2020 | 399 | 13 | 11 | |
matbasistoalg | H A D | 27-Mar-2020 | 399 | 13 | 11 | |
modreverse | H A D | 27-Mar-2020 | 1.5 KiB | 42 | 40 | |
newtonpoly | H A D | 27-Mar-2020 | 478 | 12 | 11 | |
nfalgtobasis | H A D | 27-Mar-2020 | 580 | 21 | 20 | |
nfbasis | H A D | 26-Oct-2020 | 6.7 KiB | 142 | 131 | |
nfbasistoalg | H A D | 27-Mar-2020 | 569 | 21 | 20 | |
nfcertify | H A D | 27-Mar-2020 | 996 | 20 | 18 | |
nfcompositum | H A D | 27-Mar-2020 | 3.3 KiB | 70 | 62 | |
nfdetint | H A D | 26-Oct-2020 | 341 | 10 | 9 | |
nfdisc | H A D | 26-Oct-2020 | 1.8 KiB | 48 | 43 | |
nfdiscfactors | H A D | 26-Oct-2020 | 1.5 KiB | 39 | 35 | |
nfeltadd | H A D | 27-Mar-2020 | 307 | 15 | 13 | |
nfeltdiv | H A D | 27-Mar-2020 | 226 | 8 | 7 | |
nfeltdiveuc | H A D | 27-Mar-2020 | 406 | 10 | 9 | |
nfeltdivmodpr | H A D | 27-Mar-2020 | 556 | 15 | 13 | |
nfeltdivrem | H A D | 27-Mar-2020 | 345 | 10 | 9 | |
nfeltembed | H A D | 27-Mar-2020 | 1.1 KiB | 35 | 30 | |
nfeltmod | H A D | 27-Mar-2020 | 423 | 13 | 12 | |
nfeltmul | H A D | 26-Oct-2020 | 225 | 8 | 7 | |
nfeltmulmodpr | H A D | 27-Mar-2020 | 553 | 15 | 13 | |
nfeltnorm | H A D | 27-Mar-2020 | 145 | 7 | 6 | |
nfeltpow | H A D | 27-Mar-2020 | 354 | 10 | 9 | |
nfeltpowmodpr | H A D | 27-Mar-2020 | 544 | 14 | 12 | |
nfeltreduce | H A D | 27-Mar-2020 | 359 | 11 | 10 | |
nfeltreducemodpr | H A D | 27-Mar-2020 | 553 | 14 | 12 | |
nfeltsign | H A D | 27-Mar-2020 | 1.2 KiB | 36 | 31 | |
nfelttrace | H A D | 27-Mar-2020 | 150 | 7 | 6 | |
nfeltval | H A D | 27-Mar-2020 | 1.8 KiB | 43 | 41 | |
nffactor | H A D | 26-Oct-2020 | 1.9 KiB | 41 | 37 | |
nffactorback | H A D | 27-Mar-2020 | 818 | 24 | 21 | |
nffactormod | H A D | 27-Mar-2020 | 1.2 KiB | 34 | 30 | |
nfgaloisapply | H A D | 26-Oct-2020 | 2.2 KiB | 50 | 48 | |
nfgaloisconj | H A D | 26-Oct-2020 | 2.2 KiB | 51 | 45 | |
nfgrunwaldwang | H A D | 26-Oct-2020 | 1.9 KiB | 43 | 36 | |
nfhilbert | H A D | 26-Oct-2020 | 735 | 18 | 15 | |
nfhnf | H A D | 26-Oct-2020 | 798 | 21 | 17 | |
nfhnfmod | H A D | 27-Mar-2020 | 539 | 12 | 11 | |
nfinit | H A D | 26-Oct-2020 | 8.8 KiB | 197 | 164 | |
nfisideal | H A D | 27-Mar-2020 | 243 | 8 | 7 | |
nfisincl | H A D | 26-Oct-2020 | 2.1 KiB | 64 | 55 | |
nfisisom | H A D | 26-Oct-2020 | 1.6 KiB | 52 | 49 | |
nfislocalpower | H A D | 27-Mar-2020 | 857 | 25 | 23 | |
nfkermodpr | H A D | 27-Mar-2020 | 475 | 13 | 11 | |
nfmodpr | H A D | 26-Oct-2020 | 1.2 KiB | 32 | 30 | |
nfmodprinit | H A D | 26-Oct-2020 | 1.3 KiB | 31 | 30 | |
nfmodprlift | H A D | 27-Mar-2020 | 1 KiB | 30 | 27 | |
nfnewprec | H A D | 26-Oct-2020 | 859 | 18 | 17 | |
nfpolsturm | H A D | 27-Mar-2020 | 1.4 KiB | 41 | 36 | |
nfroots | H A D | 27-Mar-2020 | 1.7 KiB | 33 | 29 | |
nfrootsof1 | H A D | 26-Oct-2020 | 1.2 KiB | 27 | 26 | |
nfsnf | H A D | 26-Oct-2020 | 1.4 KiB | 30 | 26 | |
nfsolvemodpr | H A D | 27-Mar-2020 | 825 | 23 | 21 | |
nfsplitting | H A D | 26-Oct-2020 | 1.6 KiB | 48 | 47 | |
nfsubfields | H A D | 09-Jun-2021 | 1.9 KiB | 44 | 38 | |
nfsubfieldscm | H A D | 26-Oct-2020 | 1.2 KiB | 30 | 26 | |
nfsubfieldsmax | H A D | 26-Oct-2020 | 511 | 13 | 11 | |
polcompositum | H A D | 26-Oct-2020 | 4.2 KiB | 96 | 86 | |
polgalois | H A D | 26-Oct-2020 | 4.2 KiB | 89 | 85 | |
polred | H A D | 27-Mar-2020 | 1.8 KiB | 50 | 40 | |
polredabs | H A D | 26-Oct-2020 | 5.3 KiB | 109 | 92 | |
polredbest | H A D | 26-Oct-2020 | 2.2 KiB | 55 | 51 | |
polredord | H A D | 27-Mar-2020 | 206 | 8 | 7 | |
poltschirnhaus | H A D | 26-Oct-2020 | 465 | 12 | 11 | |
rnfalgtobasis | H A D | 27-Mar-2020 | 481 | 12 | 11 | |
rnfbasis | H A D | 26-Oct-2020 | 1.1 KiB | 23 | 20 | |
rnfbasistoalg | H A D | 27-Mar-2020 | 422 | 11 | 10 | |
rnfcharpoly | H A D | 27-Mar-2020 | 577 | 17 | 16 | |
rnfconductor | H A D | 26-Oct-2020 | 2.2 KiB | 41 | 36 | |
rnfdedekind | H A D | 26-Oct-2020 | 3.4 KiB | 76 | 70 | |
rnfdet | H A D | 27-Mar-2020 | 235 | 8 | 7 | |
rnfdisc | H A D | 26-Oct-2020 | 1 KiB | 20 | 18 | |
rnfeltabstorel | H A D | 27-Mar-2020 | 1.2 KiB | 34 | 32 | |
rnfeltdown | H A D | 27-Mar-2020 | 1.5 KiB | 40 | 39 | |
rnfeltnorm | H A D | 27-Mar-2020 | 538 | 19 | 17 | |
rnfeltreltoabs | H A D | 27-Mar-2020 | 757 | 23 | 22 | |
rnfelttrace | H A D | 27-Mar-2020 | 519 | 19 | 17 | |
rnfeltup | H A D | 27-Mar-2020 | 951 | 28 | 27 | |
rnfequation | H A D | 26-Oct-2020 | 2.2 KiB | 58 | 51 | |
rnfhnfbasis | H A D | 27-Mar-2020 | 562 | 12 | 11 | |
rnfidealabstorel | H A D | 27-Mar-2020 | 1.8 KiB | 40 | 38 | |
rnfidealdown | H A D | 27-Mar-2020 | 482 | 12 | 11 | |
rnfidealfactor | H A D | 27-Mar-2020 | 999 | 28 | 25 | |
rnfidealhnf | H A D | 27-Mar-2020 | 469 | 12 | 11 | |
rnfidealmul | H A D | 27-Mar-2020 | 410 | 11 | 10 | |
rnfidealnormabs | H A D | 27-Mar-2020 | 572 | 15 | 14 | |
rnfidealnormrel | H A D | 27-Mar-2020 | 445 | 11 | 10 | |
rnfidealprimedec | H A D | 27-Mar-2020 | 1.2 KiB | 31 | 29 | |
rnfidealreltoabs | H A D | 27-Mar-2020 | 1.6 KiB | 42 | 38 | |
rnfidealtwoelt | H A D | 27-Mar-2020 | 463 | 12 | 11 | |
rnfidealup | H A D | 27-Mar-2020 | 1.4 KiB | 37 | 33 | |
rnfinit | H A D | 26-Oct-2020 | 5.5 KiB | 114 | 93 | |
rnfisabelian | H A D | 27-Mar-2020 | 440 | 14 | 13 | |
rnfisfree | H A D | 27-Mar-2020 | 511 | 13 | 12 | |
rnfislocalcyclo | H A D | 27-Mar-2020 | 852 | 22 | 21 | |
rnfisnorm | H A D | 26-Oct-2020 | 2.3 KiB | 49 | 44 | |
rnfisnorminit | H A D | 27-Mar-2020 | 1 KiB | 23 | 19 | |
rnfkummer | H A D | 26-Oct-2020 | 235 | 8 | 7 | |
rnflllgram | H A D | 27-Mar-2020 | 648 | 14 | 13 | |
rnfnormgroup | H A D | 27-Mar-2020 | 1.2 KiB | 24 | 23 | |
rnfpolred | H A D | 26-Oct-2020 | 794 | 17 | 15 | |
rnfpolredabs | H A D | 26-Oct-2020 | 2 KiB | 46 | 38 | |
rnfpolredbest | H A D | 26-Oct-2020 | 1.9 KiB | 58 | 51 | |
rnfpseudobasis | H A D | 26-Oct-2020 | 1.9 KiB | 58 | 54 | |
rnfsteinitz | H A D | 27-Mar-2020 | 981 | 18 | 17 | |
subgrouplist | H A D | 26-Oct-2020 | 2.5 KiB | 51 | 47 |