Do not sort inductive valuations

[saraedum]

Currently, the following fails in https://github.com/MCLF/henselization

sage: from henselization import *
sage: K = QQ.henselization(5)
sage: R.<x> = K[]
sage: F = (x^2 + 1).factor()

The problem is an obvious sort=False that is missing in the valuation framework, i.e., factorizations get sorted (for no good reason) but some of the element in the henselization namespace do not support sorting.

I can't really write a doctest for this. There are no rings that support the valuation framework but can not decide equality (say lazy p-adics) in Sage yet. It's kind of obvious that sort=False should be there just like everywhere else in that file.

CC: @roed314

Component: padics

Keywords: padicIMA

Author: Julian Rüth

Branch/Commit: d988e9f

Reviewer: David Roe

Issue created by migration from https://trac.sagemath.org/ticket/25226

[saraedum]

Branch: u/saraedum/maclane-sort

[sagetrac-git]

Commit: b92569b

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. Last 10 new commits:

bb1a407	Fix incorrect @echo command
52c2136	ignoring more chatter during docbuild
f3bfa5f	Upgraded .gitlab-ci.yml to provide proper tags that actually work
5719a72	Improve caching during build
e4887e9	Fix caching during build
be3a0f7	The docbuild crashes happen during an os.fork to spawn tachyon
7d85dc7	Something related to the sphinxbuild seems to be leaking memory
50898fe	Try to build-from-scratch on GitLab's underpowered CI machines
95c6275	Comment on fork logic in docbuilding
b92569b	Merge remote-tracking branch 'trac/u/saraedum/gitlabci' into maclane-sort

[saraedum]

Dependencies: #24655

[saraedum]

Last 10 new commits:

bb1a407	Fix incorrect @echo command
52c2136	ignoring more chatter during docbuild
f3bfa5f	Upgraded .gitlab-ci.yml to provide proper tags that actually work
5719a72	Improve caching during build
e4887e9	Fix caching during build
be3a0f7	The docbuild crashes happen during an os.fork to spawn tachyon
7d85dc7	Something related to the sphinxbuild seems to be leaking memory
50898fe	Try to build-from-scratch on GitLab's underpowered CI machines
95c6275	Comment on fork logic in docbuilding
b92569b	Merge remote-tracking branch 'trac/u/saraedum/gitlabci' into maclane-sort

[saraedum]

Changed commit from b92569b to none

[saraedum]

Changed branch from u/saraedum/maclane-sort to none

[saraedum]

Changed dependencies from #24655 to none

[saraedum]

Branch: u/saraedum/25226

[saraedum]

New commits:

d988e9f

Do not sort inductive valuations

[saraedum]

Commit: d988e9f

[saraedum]

Work Issues: is the patchbot happy?

[saraedum]

Changed work issues from is the patchbot happy? to none

[roed314]

Changed keywords from none to padicIMA

[roed314]

Reviewer: David Roe

[roed314]

comment:12

Looks good to me.

[vbraun]

Changed branch from u/saraedum/25226 to d988e9f