Commit 2026-03-05 14:29 3ac97da9

View on Github →

feat(NumberField/InfinitePlace/Ramification): add placesOver (#36132)

  • This PR defines sets of infinite places of L that lie above a fixed infinite place v of K, as well as subsets of ramified/unramified such places.
  • Also define analogous concepts for complex embeddings.
  • Fix order of parameters in ComplexEmbedding.LiesOver to match the order of params in AbsoluteValue.LiesOver make it protected.

Estimated changes