Re: [sage-devel] QQbar benchmarks

2021-04-25 Thread Michael Orlitzky
On Sun, 2021-04-25 at 15:07 +0200, Fredrik Johansson wrote: > Hi all, > > I'm looking for benchmark problems for QQbar/AA arithmetic. Ideally such a > problem will: > > * Be reducible to a short program that, apart from using QQbar/AA > operations, is reasonably self-contained. > * Reflect real-w

[sage-devel] Unification of generic ring methods

2021-04-25 Thread Michael Jung
Hello everyone, I have encountered some inconsistencies in the code involving rings. Some implementations use R.is_field() To check whether a ring R is a ring whereas other implementations prefer R in Fields() I propose to unify this behavior. A first approach and discussion can be found h

[sage-devel] Unification of generic ring methods

2021-04-25 Thread Michael Jung
Hello everyone, I have encountered some inconsistencies in the code involving rings. Some implementations use R.is_field() To check whether a ring R is a ring whereas other implementations prefer R in Fields() I propose to unify this behavior. A first approach and discussion can be found he

[sage-devel] Re: Feature request: Flatpak

2021-04-25 Thread Samuel Lelievre
2021-04-18 08:17:31 UTC, Volker Braun: > flatpak is designed for gui apps, registering a desktop icon and so on. To really make use of it we'd need at least a small gui app that then lets you start/stop the jupyter server and/or launch browser windows. Marc Culler's SageMath-macOS app could p

Re: [sage-devel] QQbar benchmarks

2021-04-25 Thread Fredrik Johansson
Hi Vincent, On Sunday, April 25, 2021 at 4:26:18 PM UTC+2 vdelecroix wrote: > Dear Fredrik, > > One technical question: I thought that your ca_t implementation > used multivariate polynomials. This is what Magma does but not > what sage does. The latter uses expression trees and take union >

Re: [sage-devel] QQbar benchmarks

2021-04-25 Thread Vincent Delecroix
Dear Fredrik, One technical question: I thought that your ca_t implementation used multivariate polynomials. This is what Magma does but not what sage does. The latter uses expression trees and take union fields anytime there is an exactification to be done. Is it a misconception of mine? For "

[sage-devel] QQbar benchmarks

2021-04-25 Thread Fredrik Johansson
Hi all, I'm looking for benchmark problems for QQbar/AA arithmetic. Ideally such a problem will: * Be reducible to a short program that, apart from using QQbar/AA operations, is reasonably self-contained. * Reflect real-world use, i.e. originate from using Sage to solve an actual mathematical pro