Standalone Mac Lane 1.7.5

Stable version of the Mac Lane infrastructure for discrete (pseudo-)valuations which should work on an unmodified Sage 7.4 or later.

To use, download the attached archive and

$ tar zxf mac_lane-1.7.5.tgz
$ mv mac_lane-mac_lane-1.7.5 mac_lane
$ sage
sage: from mac_lane import *
sage: pAdicValuation(QQ, 2)
2-adic valuation

The code heavily uses assert statements. These checks can be quite expensive. To disable them, start sage as PYTHONOPTIMIZE=yes sage.

Changes in this version

• Comparison of limit valuations:

sage: R.<x> = QQ[]
sage: F = (x^2 + 7) * (x^2 + 9)
sage: G = (x^2 + 7)
sage: V = pAdicValuation(QQ, 2).mac_lane_approximants(F, require_incomparability=True); V
[[ Gauss valuation induced by 2-adic valuation, v(x + 1) = 2 ],
 [ Gauss valuation induced by 2-adic valuation, v(x + 1) = 1/2, v(x^2 + 2*x + 3) = 3/2 ],
 [ Gauss valuation induced by 2-adic valuation, v(x + 3) = 3 ]]
sage: LimitValuation(V[0], F) >= LimitValuation(V[1], F)
False
sage: LimitValuation(V[0], F) >= LimitValuation(V[0], G)
True

Standalone Mac Lane 1.7.4

Stable version of the Mac Lane infrastructure for discrete (pseudo-)valuations which should work on an unmodified Sage 7.4 or later.

To use, download the attached archive and

$ tar zxf mac_lane-1.7.4.tgz
$ sage
sage: from mac_lane import *
sage: pAdicValuation(QQ, 2)
2-adic valuation

The code heavily uses assert statements. These checks can be quite expensive. To disable them, start sage as PYTHONOPTIMIZE=yes sage.

Changes in this version

• Better handling of limit valuations:

sage: K = QQ
sage: R.<x> = K[]
sage: vK = pAdicValuation(K, 2)
sage: f = x^2 + 7
sage: V = vK.mac_lane_approximants(f)
sage: v = LimitValuation(V[0], f)
sage: v(f)
+Infinity

Standalone Mac Lane 1.7.3

Stable version of the Mac Lane infrastructure for discrete (pseudo-)valuations which should work on an unmodified Sage 7.4 or later.

To use, download the attached archive and

$ tar zxf mac_lane-1.7.3.tgz
$ sage
sage: from mac_lane import *
sage: pAdicValuation(QQ, 2)
2-adic valuation

The code heavily uses assert statements. These checks can be quite expensive. To disable them, start sage as PYTHONOPTIMIZE=yes sage.

Changes in this version

• Performance improvements

Standalone Mac Lane 1.7.2

Stable version of the Mac Lane infrastructure for discrete (pseudo-)valuations which should work on an unmodified Sage 7.4 or later.

To use, download the attached archive and

$ tar zxf mac_lane-1.7.2.tgz
$ sage
sage: from mac_lane import *
sage: pAdicValuation(QQ, 2)
2-adic valuation

The code heavily uses assert statements. These checks can be quite expensive. To disable them, start sage as PYTHONOPTIMIZE=yes sage.

Changes in this version

• Performance improvements (reimplemented Mac Lane algorithm)

Standalone Mac Lane 1.7.1

Stable version of the Mac Lane infrastructure for discrete (pseudo-)valuations which should work on an unmodified Sage 7.4 or later.

To use, download the attached archive and

$ tar zxf mac_lane-1.7.1.tgz
$ sage
sage: from mac_lane import *
sage: pAdicValuation(QQ, 2)
2-adic valuation

The code heavily uses assert statements. These checks can be quite expensive. To disable them, start sage as PYTHONOPTIMIZE=yes sage.

Changes in this version

• Performance improvements
• Allow number fields written as quotients of polynomial rings

Standalone Mac Lane 1.7

Stable version of the Mac Lane infrastructure for discrete (pseudo-)valuations which should work on an unmodified Sage 7.4 or later.

To use, download the attached archive and

$ tar zxf mac_lane-1.7.tgz
$ sage
sage: from mac_lane import *
sage: pAdicValuation(QQ, 2)
2-adic valuation

Changes in this version

• Added a shift that is consistent with p-adics in Sage
• Fixed extensions in relative number fields

Standalone Mac Lane 1.6

Stable version of the Mac Lane infrastructure for discrete (pseudo-)valuations which should work on an unmodified Sage 7.4 or later.

To use, download the attached archive and

$ tar zxf mac_lane-1.6.tgz
$ sage
sage: from mac_lane import *
sage: pAdicValuation(QQ, 2)
2-adic valuation

Changes in this version

• Dropped the inconsistent .shift()
• Added .element_with_valuation() for all valuations
• Added .value_semigroup()

Standalone Mac Lane 1.5

Stable version of the Mac Lane infrastructure for discrete (pseudo-)valuations which should work on an unmodified Sage 7.4 or later.

To use, download the attached archive and

$ tar zxf mac_lane-1.5.tgz
$ sage
sage: from mac_lane import *
sage: pAdicValuation(QQ, 2)
2-adic valuation

Changes in this version

• Moved to its own repository from https://github.com/saraedum/sage/
• Implemented comparison of scaled valuations