Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Constructible numbers - initial idea #4578

Merged
merged 14 commits into from
Jan 28, 2025
Merged

Constructible numbers - initial idea #4578

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
17f31c3
Constructible numbers - initial idea
tirix Jan 16, 2025
10cf396
Update constr.mm
tirix Jan 17, 2025
7ac6a8d
Update constr.mm
tirix Jan 17, 2025
12f03dc
Update constr.mm
tirix Jan 17, 2025
30a91c9
Update constr.mm
tirix Jan 17, 2025
de56b25
Update constr.mm
tirix Jan 18, 2025
fb17c8c
Fix domain of polynomial
tirix Jan 19, 2025
3bb9073
Indentation
tirix Jan 19, 2025
88f6c66
Merge branch 'constr' of https://github.com/tirix/set.mm into constr
tirix Jan 19, 2025
78fccb9
Minimal polynomials
tirix Jan 26, 2025
118f52b
Merge branch 'develop' into constr
tirix Jan 26, 2025
4b8831c
Fix definitional soundness check.
tirix Jan 26, 2025
6f85644
As per @savask remark
tirix Jan 26, 2025
82795f7
As per @avekens comments
tirix Jan 26, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 9 additions & 0 deletions changes-set.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -87,6 +87,15 @@ make a github issue.)

DONE:
Date Old New Notes
26-Jan-25 an2anr [same] Moved from PM's mathbox to main set.mm
26-Jan-25 ismhmd [same] Moved from SN's mathbox to main set.mm
26-Jan-25 ringcld [same] Moved from SN's mathbox to main set.mm
26-Jan-25 ablcmnd [same] Moved from SN's mathbox to main set.mm
26-Jan-25 ringabld [same] Moved from SN's mathbox to main set.mm
26-Jan-25 ringcmnd [same] Moved from SN's mathbox to main set.mm
26-Jan-25 pwsexpg [same] Moved from SN's mathbox to main set.mm
26-Jan-25 drnginvrcld [same] Moved from SN's mathbox to main set.mm
26-Jan-25 pwspjmhmmgpd [same] Moved from SN's mathbox to main set.mm
24-Jan-25 rextru [same] Moved from ZW's mathbox to main set.mm
19-Jan-25 --- --- Moved surreal cut and option theorems
from SF's mathbox to main set.mm
Expand Down
Loading
Loading