Opened 3 years ago
Last modified 2 years ago
#25494 new enhancement
Kash interface for FunctionField code
Reported by:  ghBrentBaccala  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: 
Description (last modified by )
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 doublechecking 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
 Branch set to public/25494
 Commit set to 98074143c109c3506d1a26a1ef9fef81d0af56a4
comment:2 Changed 3 years ago by
 Commit changed from 98074143c109c3506d1a26a1ef9fef81d0af56a4 to a6d5709c0536375d47a3472e4a0b38dc8cf203f3
comment:3 Changed 3 years ago by
 Commit changed from a6d5709c0536375d47a3472e4a0b38dc8cf203f3 to 20620b24ca68c2c9a6ab28656ac081a39d89a946
comment:4 Changed 3 years ago by
 Milestone changed from sage8.3 to sagepending
comment:5 Changed 3 years ago by
 Description modified (diff)
comment:6 Changed 3 years ago by
 Commit changed from 20620b24ca68c2c9a6ab28656ac081a39d89a946 to 7e20cc223c164d0ee33fb973a9f78d655abb2fe2
Branch pushed to git repo; I updated commit sha1. This was a forced push. Last 10 new commits:
96ee4b1  Trac #26993: clean up inherited methods in DifferentialsSpaceMorphism

8621500  Trac #26993: differential class shouldn't be hardwired; instead

6625b94  Merge branch 'public/26993' into public/25494

8a99b04  Trac #25494: bug fix: a divisor's parent should be the divisor group

dfa75b5  Trac #25494: use the proper method to get base field's generator

b8e57b8  Trac #25494: fix tests that c19fa0 broke

fe945f1  Trac #25494: fix tests to reflect new divisor print representation

a6c24d8  Trac #25494: a failing example needed QQbar display format 'radical'

5a6ca76  Trac #25494: bug fix: correctly assign ``order`` when converting a place

7e20cc2  Trac #25494: add 'optional  kash' to all kash examples and tests

comment:7 Changed 3 years ago by
 Dependencies changed from #22982, #25488 to #25488, #25219, #26991, #26993
 Description modified (diff)
comment:8 Changed 3 years ago by
 Milestone changed from sagepending to sage8.8
comment:9 Changed 3 years ago by
 Commit changed from 7e20cc223c164d0ee33fb973a9f78d655abb2fe2 to 08b478f85ad12dfd9903e26898c922ea86209f87
Branch pushed to git repo; I updated commit sha1. New commits:
08b478f  Trac #25494: clean up test cases

comment:10 Changed 3 years ago by
 Commit changed from 08b478f85ad12dfd9903e26898c922ea86209f87 to 210e654ac5085224b0eba64ad226ee0dd33edf26
comment:11 Changed 2 years ago by
 Milestone sage8.8 deleted
As the Sage8.8 release milestone is pending, we should delete the sage8.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 (sage8.9).
New commits:
Stable branch for Trac 22982
improve Kash interface
improve Kash interface
Trac #25488: fix boolean conversion in kash interface
Trac #25488: evade bizarre dictionary problem
Trac #25494: basic function field operations over QQ