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.

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

"principal_subfields" not defined #1656

Closed
ndrean opened this issue Oct 21, 2024 · 6 comments · Fixed by #1657
Closed

"principal_subfields" not defined #1656

ndrean opened this issue Oct 21, 2024 · 6 comments · Fixed by #1657

Comments

@ndrean
Copy link

ndrean commented Oct 21, 2024

julia version 1.11.1
Hecke Version 0.24.3 ... via Oscar Version 0.14.

julia> principal_subfields(L)
ERROR: UndefVarError: `principal_subfields` not defined in `Main`
Suggestion: check for spelling errors or missing imports.
Stacktrace:
 [1] top-level scope

is_subfield_normal(K,L)
ERROR: UndefVarError: `is_subfield_normal` not defined in `Main`
Suggestion: check for spelling errors or missing imports.
@thofma
Copy link
Owner

thofma commented Oct 21, 2024

Out of curiosity, why did you expect those to exist? Are these functions used somewhere in the documentation or elsewhere?

@ndrean
Copy link
Author

ndrean commented Oct 21, 2024

Because I found it here: https://www.thofma.com/Hecke.jl/stable/manual/number_fields/fields

Screenshot 2024-10-21 at 23 17 23
Screenshot 2024-10-21 at 23 18 11

I was looking if it implemented polynomial factorisation in Julia, but did not, so just went testing some functions from your library.

If this doc is not relevant, I will happily close this, but probably this site should be closed as well!

@fieker
Copy link
Collaborator

fieker commented Oct 22, 2024 via email

@ndrean
Copy link
Author

ndrean commented Oct 22, 2024

Thanks. Works.

Although I don't understand why you responded this

Out of curiosity, why did you expect those to exist?

@thofma
Copy link
Owner

thofma commented Oct 22, 2024

Because I forgot that they are in the documentation.

@thofma
Copy link
Owner

thofma commented Oct 23, 2024

Will be fixed in the next version. Thanks for your report.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants