This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Copyright 2013-2017 Edgar Costa | |
# See LICENSE file for license details. | |
import itertools | |
from sage.all import Ideal, Partitions, PolynomialRing, QQ, Set, ZZ | |
from sage.all import binomial, vector | |
# makes the vector v immutable and returns it | |
def immutable(v): | |
v.set_immutable() |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
AlgebraicClosure(R::Rng) -> FldAC | |
Basis(F::FldAlg, R::Rng) -> SeqEnum | |
ChangeRing(C::AlgClff, S::Rng) -> AlgClff, ModTupFld, Map | |
CharacteristicPolynomial(a::FldAlgElt, R::Rng) -> RngUPolElt | |
CharacteristicPolynomial(a::FldFunElt, R::Rng) -> RngUPolElt | |
ConstantFieldExtension(F::FldFun, k::Rng) -> FldFun, Map | |
CreateRootVectorSpace(K::Rng, n::RngIntElt, R::RootDtm) -> ModTupFld | |
FakeProjectiveSpace(k::Rng, W::SeqEnum[RngIntElt], Q::SeqEnum[SeqEnum[FldRatElt]]) -> TorVar | |
FunctionField(R::Rng) -> FldFunRat | |
FunctionField(R::Rng, n::RngIntElt) -> FldFunRat |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1:15:0.000000000000000p15:205:0.190466712718823p15:32.094:0.630 | |
4:15:0.101279396486113p15:1028:1.35352712673480p15:32.094:0.790 | |
2:15:0.000000000000000p15:1824:2.51565803892865p15:32.094:0.980 | |
1/2:15:0.00193410765838742p15:16392:28.6103013104686p15:32.094:3.730 | |
1/4:15:0.00990932922727428p15:32776:57.7594288600453p15:32.094:4.790 | |
4/3:15:0.0288851285023721p15:83052:125.216380257206p15:32.094:4.710 | |
1/8:15:0.0179764366098514p15:65544:118.997224565254p15:32.094:6.970 | |
5:15:0.000000000000000p15:13125:-13.3074679927604p15:32.094:3.270 | |
3:15:0.000000000000000p15:83187:-83.9601849930181p15:32.094:10.790 | |
1/32:15:0.00538450762097398p15:87384:165.027245400982p15:32.094:11.670 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1:15:0.000000000000000p15:205:0.190466712718823p15:32.094:0.630 | |
4:15:0.101279396486113p15:1028:1.35352712673480p15:32.094:0.790 | |
2:15:0.000000000000000p15:1824:2.51565803892865p15:32.094:0.980 | |
1/2:15:0.00193410765838742p15:16392:28.6103013104686p15:32.094:3.730 | |
1/4:15:0.00990932922727428p15:32776:57.7594288600453p15:32.094:4.790 | |
4/3:15:0.0288851285023721p15:83052:125.216380257206p15:32.094:4.710 | |
1/8:15:0.0179764366098514p15:65544:118.997224565254p15:32.094:6.970 | |
5:15:0.000000000000000p15:13125:-13.3074679927604p15:32.094:3.270 | |
3:15:0.000000000000000p15:83187:-83.9601849930181p15:32.094:10.790 | |
1/32:15:0.00538450762097398p15:87384:165.027245400982p15:32.094:11.670 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1:15:0.000000000000000p15:205:0.190466712718823p15:32.094:0.630 | |
4:15:0.101279396486113p15:1028:1.35352712673480p15:32.094:0.790 | |
2:15:0.000000000000000p15:1824:2.51565803892865p15:32.094:0.980 | |
1/2:15:0.00193410765838742p15:16392:28.6103013104686p15:32.094:3.730 | |
1/4:15:0.00990932922727428p15:32776:57.7594288600453p15:32.094:4.790 | |
4/3:15:0.0288851285023721p15:83052:125.216380257206p15:32.094:4.710 | |
1/8:15:0.0179764366098514p15:65544:118.997224565254p15:32.094:6.970 | |
5:15:0.000000000000000p15:13125:-13.3074679927604p15:32.094:3.270 | |
3:15:0.000000000000000p15:83187:-83.9601849930181p15:32.094:10.790 | |
1/32:15:0.00538450762097398p15:87384:165.027245400982p15:32.094:11.670 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1:15:0.000000000000000p15:205:0.190466712718823p15:32.094:0.630 | |
4:15:0.101279396486113p15:1028:1.35352712673480p15:32.094:0.790 | |
2:15:0.000000000000000p15:1824:2.51565803892865p15:32.094:0.980 | |
1/2:15:0.00193410765838742p15:16392:28.6103013104686p15:32.094:3.730 | |
1/4:15:0.00990932922727428p15:32776:57.7594288600453p15:32.094:4.790 | |
4/3:15:0.0288851285023721p15:83052:125.216380257206p15:32.094:4.710 | |
1/8:15:0.0179764366098514p15:65544:118.997224565254p15:32.094:6.970 | |
5:15:0.000000000000000p15:13125:-13.3074679927604p15:32.094:3.270 | |
3:15:0.000000000000000p15:83187:-83.9601849930181p15:32.094:10.790 | |
1/32:15:0.00538450762097398p15:87384:165.027245400982p15:32.094:11.670 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1:15:0.000000000000000p15:205:0.190466712718823p15:32.094:0.630 | |
4:15:0.101279396486113p15:1028:1.35352712673480p15:32.094:0.790 | |
2:15:0.000000000000000p15:1824:2.51565803892865p15:32.094:0.980 | |
1/2:15:0.00193410765838742p15:16392:28.6103013104686p15:32.094:3.730 | |
1/4:15:0.00990932922727428p15:32776:57.7594288600453p15:32.094:4.790 | |
4/3:15:0.0288851285023721p15:83052:125.216380257206p15:32.094:4.710 | |
1/8:15:0.0179764366098514p15:65544:118.997224565254p15:32.094:6.970 | |
5:15:0.000000000000000p15:13125:-13.3074679927604p15:32.094:3.270 | |
3:15:0.000000000000000p15:83187:-83.9601849930181p15:32.094:10.790 | |
1/32:15:0.00538450762097398p15:87384:165.027245400982p15:32.094:11.670 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1:15:0.000000000000000p15:205:0.190466712718823p15:32.094:0.630 | |
4:15:0.101279396486113p15:1028:1.35352712673480p15:32.094:0.790 | |
2:15:0.000000000000000p15:1824:2.51565803892865p15:32.094:0.980 | |
1/2:15:0.00193410765838742p15:16392:28.6103013104686p15:32.094:3.730 | |
1/4:15:0.00990932922727428p15:32776:57.7594288600453p15:32.094:4.790 | |
4/3:15:0.0288851285023721p15:83052:125.216380257206p15:32.094:4.710 | |
1/8:15:0.0179764366098514p15:65544:118.997224565254p15:32.094:6.970 | |
5:15:0.000000000000000p15:13125:-13.3074679927604p15:32.094:3.270 | |
3:15:0.000000000000000p15:83187:-83.9601849930181p15:32.094:10.790 | |
1/32:15:0.00538450762097398p15:87384:165.027245400982p15:32.094:11.670 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1:15:0.000000000000000p15:205:0.190466712718823p15:32.094:0.630 | |
4:15:0.101279396486113p15:1028:1.35352712673480p15:32.094:0.790 | |
2:15:0.000000000000000p15:1824:2.51565803892865p15:32.094:0.980 | |
1/2:15:0.00193410765838742p15:16392:28.6103013104686p15:32.094:3.730 | |
1/4:15:0.00990932922727428p15:32776:57.7594288600453p15:32.094:4.790 | |
4/3:15:0.0288851285023721p15:83052:125.216380257206p15:32.094:4.710 | |
1/8:15:0.0179764366098514p15:65544:118.997224565254p15:32.094:6.970 | |
5:15:0.000000000000000p15:13125:-13.3074679927604p15:32.094:3.270 | |
3:15:0.000000000000000p15:83187:-83.9601849930181p15:32.094:10.790 | |
1/32:15:0.00538450762097398p15:87384:165.027245400982p15:32.094:11.670 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
1:15:0.000000000000000p15:205:0.190466712718823p15:32.094:0.070 | |
2:15:0.000000000000000p15:1824:2.51565803892865p15:32.094:0.090 | |
4:15:0.101279396486113p15:1028:1.35352712673480p15:32.094:0.080 | |
1/2:15:0.00193410765838742p15:16392:28.6103013104686p15:32.094:0.040 | |
1/4:15:0.00990932922727428p15:32776:57.7594288600453p15:32.094:0.040 | |
1/8:15:0.0179764366098514p15:65544:118.997224565254p15:32.094:0.040 | |
5:15:0.000000000000000p15:13125:-13.3074679927604p15:32.094:0.080 | |
4/3:15:0.0288851285023721p15:83052:125.216380257206p15:32.094:0.080 | |
3:15:0.000000000000000p15:83187:-83.9601849930181p15:32.094:0.090 | |
1/32:15:0.00538450762097398p15:87384:165.027245400982p15:32.094:0.040 |