Skip to content

Allow polynomial coefficient fields to be finite_field where field degree > 1; and also algebraic field extensions of QQ #22804

Allow polynomial coefficient fields to be finite_field where field degree > 1; and also algebraic field extensions of QQ

Allow polynomial coefficient fields to be finite_field where field degree > 1; and also algebraic field extensions of QQ #22804

Triggered via issue November 20, 2024 00:53
Status Skipped
Total duration 2s
Artifacts

TagBot.yml

on: issue_comment
Fit to window
Zoom out
Zoom in