Opened 3 years ago

Last modified 2 years ago

#25494 new enhancement

Kash interface for FunctionField code

Reported by: gh-BrentBaccala Owned by:
Priority: minor Milestone:
Component: algebra Keywords: function field
Cc: Merged in:
Authors: Brent Baccala Reviewers:
Report Upstream: N/A Work issues:
Branch: public/25494 (Commits, GitHub, GitLab) Commit: 210e654ac5085224b0eba64ad226ee0dd33edf26
Dependencies: #25488, #25219, #26991, #26993 Stopgaps:

Status badges

Description (last modified by gh-BrentBaccala)

Our current function field code has recently been revised and improved, and released in Sage 8.7.

This ticket adds support to the new code for using the optional kash package as an implementation option.

The major advantage of Kash is that it supports characteristic zero (i.e, function fields over QQ and number fields), while our current native code only works over finite fields. This implementation also supports QQbar, even though Kash doesn't support it natively.

Kash should also be useful for double-checking our results as the native implemention moves forward.

Using this code requires the kash3 package to be installed, i.e, run

sage -p kash3

Change History (11)

comment:1 Changed 3 years ago by gh-BrentBaccala

  • Authors set to Brent Baccala
  • Branch set to public/25494
  • Commit set to 98074143c109c3506d1a26a1ef9fef81d0af56a4

New commits:

388b7f2Stable branch for Trac 22982
86d7962improve Kash interface
6953805improve Kash interface
9ec365fTrac #25488: fix boolean conversion in kash interface
e458137Trac #25488: evade bizarre dictionary problem
9807414Trac #25494: basic function field operations over QQ

comment:2 Changed 3 years ago by git

  • Commit changed from 98074143c109c3506d1a26a1ef9fef81d0af56a4 to a6d5709c0536375d47a3472e4a0b38dc8cf203f3

Branch pushed to git repo; I updated commit sha1. New commits:

cfc6cf7Trac #25488: fix kash _contains() method
a6d5709Trac #25494: allow prime finite fields as constant fields

comment:3 Changed 3 years ago by git

  • Commit changed from a6d5709c0536375d47a3472e4a0b38dc8cf203f3 to 20620b24ca68c2c9a6ab28656ac081a39d89a946

Branch pushed to git repo; I updated commit sha1. New commits:

7712940Trac #25494: refactor divisor methods
20620b2Trac #25494: use refactored code from last commit

comment:4 Changed 3 years ago by gh-BrentBaccala

  • Milestone changed from sage-8.3 to sage-pending

comment:5 Changed 3 years ago by gh-BrentBaccala

  • Description modified (diff)

comment:6 Changed 3 years ago by git

  • Commit changed from 20620b24ca68c2c9a6ab28656ac081a39d89a946 to 7e20cc223c164d0ee33fb973a9f78d655abb2fe2

Branch pushed to git repo; I updated commit sha1. This was a forced push. Last 10 new commits:

96ee4b1Trac #26993: clean up inherited methods in DifferentialsSpaceMorphism
8621500Trac #26993: differential class shouldn't be hardwired; instead
6625b94Merge branch 'public/26993' into public/25494
8a99b04Trac #25494: bug fix: a divisor's parent should be the divisor group
dfa75b5Trac #25494: use the proper method to get base field's generator
b8e57b8Trac #25494: fix tests that c19fa0 broke
fe945f1Trac #25494: fix tests to reflect new divisor print representation
a6c24d8Trac #25494: a failing example needed QQbar display format 'radical'
5a6ca76Trac #25494: bug fix: correctly assign ``order`` when converting a place
7e20cc2Trac #25494: add 'optional - kash' to all kash examples and tests

comment:7 Changed 3 years ago by gh-BrentBaccala

  • Dependencies changed from #22982, #25488 to #25488, #25219, #26991, #26993
  • Description modified (diff)

comment:8 Changed 3 years ago by gh-BrentBaccala

  • Milestone changed from sage-pending to sage-8.8

comment:9 Changed 3 years ago by git

  • Commit changed from 7e20cc223c164d0ee33fb973a9f78d655abb2fe2 to 08b478f85ad12dfd9903e26898c922ea86209f87

Branch pushed to git repo; I updated commit sha1. New commits:

08b478fTrac #25494: clean up test cases

comment:10 Changed 3 years ago by git

  • Commit changed from 08b478f85ad12dfd9903e26898c922ea86209f87 to 210e654ac5085224b0eba64ad226ee0dd33edf26

Branch pushed to git repo; I updated commit sha1. New commits:

feac283Trac #25494: fix and improve kash differential divisor_of_poles() method
210e654Trac #25494: fix and improve code to extend constant field

comment:11 Changed 2 years ago by embray

  • Milestone sage-8.8 deleted

As the Sage-8.8 release milestone is pending, we should delete the sage-8.8 milestone for tickets that are not actively being worked on or that still require significant work to move forward. If you feel that this ticket should be included in the next Sage release at the soonest please set its milestone to the next release milestone (sage-8.9).

Note: See TracTickets for help on using tickets.