2023-10-27 13:55:04 +0200 | received badge | ● Notable Question (source) |
2023-04-06 08:36:14 +0200 | received badge | ● Popular Question (source) |
2020-03-12 15:44:28 +0200 | asked a question | ... `pushforward` method is not properly implemented. When I run a script stored in a file And then load this in sage with
For field sizes smaller than 2^16 it seems to work without problems but as soon as I make the field 2^16 or larger this error occurs on a second call of the script.
Placing a |
2018-06-05 20:28:59 +0200 | received badge | ● Student (source) |
2018-06-05 16:18:49 +0200 | received badge | ● Editor (source) |
2018-05-31 02:15:36 +0200 | asked a question | span of vectors over an extension field but with coefficients from the base field Hi all, Assume I have a vector space with coefficients from a finite extension field. How can I make the sub space spanned by vectors over that extension field but with coefficients from the base field? When I do something like this: I get an error that "is not compatble with base_ring". But if I would replace VS with |
2018-05-31 02:15:36 +0200 | asked a question | span of vectors over an extension field but with coefficients from the base field Hi all, Assume I have a vector space with coefficients from a finite extension field. How can I make the sub space spanned by vectors over that extension field but with coefficients from the base field? When I do something like this: F = GF(2) FF.= F.extension(4) VS = VectorSpace(FF, 6) span([VS.random_element() for i in range(3)], F) I get an error that "is not compatble with base_ring". But if I would replace VS with VS = FreeModule(ZZ, 6) it works. But that is not what I want. Are there any solutions? |