Skip to content

Conversation

@hgu2699
Copy link
Contributor

@hgu2699 hgu2699 commented Nov 16, 2025

Extend AbvarFq_isoclass.init to handle new invariants:

Default is_cyclic to None if missing.

Default noncyclic_primes to [] if missing.

In AbvarFq_isoclass.properties:

Append a row "Cyclic" with value "yes" / "no" when is_cyclic is present.

Append a row "Noncyclic primes" showing the stored list (rendered as {p1, p2, …} or {} if empty).

Extend AbvarFq_isoclass.__init__ to handle new invariants:

Default is_cyclic to None if missing.

Default noncyclic_primes to [] if missing.

In AbvarFq_isoclass.properties:

Append a row "Cyclic" with value "yes" / "no" when is_cyclic is present.

Append a row "Noncyclic primes" showing the stored list (rendered as {p1, p2, …} or {} if empty).
* Extend AbvarFq_isoclass.__init__ to handle new invariants:
    * Default is_cyclic to None if missing.
    * Default noncyclic_primes to [] if missing.
* In AbvarFq_isoclass.properties:
    * Append a row "Cyclic" with value "yes" / "no" when is_cyclic is present.
    * Append a row "Noncyclic primes" showing the stored list (rendered as {p1, p2, …} or {} if empty).
* No changes to existing behaviour when the new fields are absent in the database (backwards compatible with old data).
New: solve an issue that causes problems in test_av
@hgu2699 hgu2699 closed this Nov 16, 2025
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 this pull request may close these issues.

1 participant