Edgar Costa edgarcosta
edgarcosta
/ gist:8f2bcd7b2ef3286ba55a9f664de5c090
Created
April 16, 2024 16:27
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 |
edgarcosta
/ gist:4f608def1f7394f611e6b3d7afa74982
Created
April 15, 2024 13:05
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 |
edgarcosta
/ gist:4b6b61cc9e679916c226c05458c6d5b9
Created
April 11, 2024 20:27
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 |
edgarcosta
/ gist:aaaac8e35e170154a6713eacfe8eda33
Created
April 11, 2024 20:13
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 |
edgarcosta
/ gist:df4de01ff54744c16f1d61a4748fb1b0
Created
April 11, 2024 01:25
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 |
edgarcosta
/ gist:3ed30bad3e44fd0a8596b7925b377a9a
Created
April 10, 2024 02:38
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 |
edgarcosta
/ gist:15728d9ff6967529f21ea19d42cc03b9
Created
April 9, 2024 17:56
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 |
edgarcosta
/ gist:7f9b9792968458dd4eb9f67b7733105a
Created
April 8, 2024 16:26
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 |
edgarcosta
/ gist:2f2cab5d068a0a80b226a26b358481d2
Created
April 8, 2024 16:12
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 |
edgarcosta
/ gist:f2862140b2b28e02be71901af580523e
Created
April 8, 2024 15:59
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 |
NewerOlder