Opened 6 years ago
Last modified 4 years ago
#21869 closed enhancement
A framework for discrete valuations in Sage — at Version 210
Reported by: | saraedum | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-7.5 |
Component: | commutative algebra | Keywords: | discrete valuations, valuations, p-adics, function fields, number fields, smooth projective curves, Mac Lane algorithm, Montes algorithm, sd87 |
Cc: | Merged in: | ||
Authors: | Julian Rüth | Reviewers: | GaYee Park, Stefan Wewers, David Roe, Padmavathi Srinivasan, Shiva Chidambaram |
Report Upstream: | N/A | Work issues: | 55 failing long doctests |
Branch: | u/saraedum/a_framework_for_discrete_valuations_in_sage (Commits, GitHub, GitLab) | Commit: | 775e093eb3076c1ebf44bd2867340605700c2a35 |
Dependencies: | #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483, #23510, #23525, #23620, #23642, #23965, #23966 | Stopgaps: |
Description (last modified by )
Review
Please check off [x]
the following when you think that a file is in good shape (modulo the comments that you made.) Or put a [-]
if it needs substantial work. You can put your name next to file to tell others that you are already having a look at it.
[x] function_field/function_field_valuation.py (Stefan Wewers) [x] padics/discrete_value_group.py [x] padics/padic_valuation.py (David) [x] valuation/README.md [x] valuation/__init__.py [x] valuation/all.py (David) [x] valuation/augmented_valuation.py (David) [x] valuation/developing_valuation.py (Shiva) [x] valuation/gauss_valuation.py (Padmavathi) [x] valuation/inductive_valuation.py (David) [x] valuation/limit_valuation.py (David) [x] valuation/mapped_valuation.py (David) [x] valuation/scaled_valuation.py (David) [x] valuation/trivial_valuation.py (David) [x] valuation/valuation.py (David) [x] valuation/valuation_space.py (David) [x] valuation/valuations_catalog.py (David) [x] valuation/value_group.py (Padmavathi) [x] rings/function_field/function_field.py [x] rings/integer_ring.pyx [x] rings/number_field/number_field.py [x] rings/number_field/order.py [x] rings/padics/padic_generic.py [x] rings/rational_field.py
Known Issues
sage -t --long src/sage/rings/valuation/augmented_valuation.py # 21 doctests failed sage -t --long src/sage/rings/padics/padic_valuation.py # 5 doctests failed sage -t --long src/sage/rings/valuation/inductive_valuation.py # 1 doctest failed sage -t --long src/sage/rings/valuation/limit_valuation.py # 1 doctest failed sage -t --long src/sage/rings/valuation/valuation.py # 4 doctests failed sage -t --long src/sage/rings/valuation/valuation_space.py # 1 doctest failed sage -t --long src/sage/rings/valuation/gauss_valuation.py # 1 doctest failed sage -t --long src/sage/rings/valuation/scaled_valuation.py # 1 doctest failed sage -t --long src/sage/rings/valuation/developing_valuation.py # 1 doctest failed sage -t --long src/sage/rings/valuation/trivial_valuation.py # 3 doctests failed sage -t --long src/sage/rings/function_field/function_field_valuation.py # 11 doctests failed sage -t --long src/sage/rings/valuation/mapped_valuation.py # 4 doctests failed
Necessary changes
Fix bugs in Sage
There are a number of trivial bugs that get fixed by monkey-patches in https://github.com/saraedum/mac_lane/blob/master/__init__.py
- Conversion from a Function Field to its Constant Field #21872
- Conversion from a Function Field to its underlying Polynomial Ring #23166
- Coercions between Function Fields #23167
- Coercions are injective if the underlying map is #21879
- Ring homomorphisms from Fields are injective #21879
- Polynomial rings embed into their fraction fields #23185
- The embedding of a ring into a polynomial ring over that ring is injective #23203, #23204, #23211
- p-adic rings embed into their fraction fields #23188
- Morphisms of number fields are injective #21879
- ZZ into QQ is injective #21879
- quotients of polynomial rings are injective/surjective #23190
- ZZ into a Number Field is injective #21879
- ZZ into an order of a Number Field is injective #21879
- ZZ does not map onto QQ #23186
ZpCA shifts are broken- add default implementation of inverse_of_unit() #23191
- R[x]→S[x] is injective/surjective if R→S is #23495
Add new features to Sage
New features that the code needs to work
- Factorization over iterated extensions of finite fields. #21996
principal_part() and sides() of a Newton Polygon(patch this in the calling code instead.)- (cached_in_argument_method #22034)
Make tests non-trivial
- (some_elements() should be non-trivial for number fields/orders) #23192
- (some_elements() should be non-trivial/deterministic for rational function fields and their extensions) #23193
- (some_elements() should be non-trivial for fraction_fields of polynomial rings) #23194
Add the valuation code to Sage
i.e., add these files https://github.com/saraedum/mac_lane to Sage.
Change History (210)
comment:1 Changed 6 years ago by
- Description modified (diff)
comment:2 Changed 6 years ago by
- Description modified (diff)
comment:3 Changed 6 years ago by
- Description modified (diff)
comment:4 Changed 6 years ago by
- Description modified (diff)
comment:5 Changed 6 years ago by
- Description modified (diff)
comment:6 Changed 6 years ago by
- Description modified (diff)
comment:7 Changed 6 years ago by
- Description modified (diff)
comment:8 Changed 6 years ago by
- Description modified (diff)
comment:9 Changed 5 years ago by
- Description modified (diff)
comment:10 Changed 5 years ago by
- Description modified (diff)
comment:11 Changed 5 years ago by
- Description modified (diff)
comment:12 Changed 5 years ago by
- Description modified (diff)
comment:13 Changed 5 years ago by
- Description modified (diff)
comment:14 Changed 5 years ago by
- Description modified (diff)
comment:15 Changed 5 years ago by
- Description modified (diff)
comment:16 Changed 5 years ago by
- Description modified (diff)
comment:17 Changed 5 years ago by
- Description modified (diff)
comment:18 Changed 5 years ago by
- Description modified (diff)
comment:19 Changed 5 years ago by
- Description modified (diff)
comment:20 Changed 5 years ago by
- Description modified (diff)
comment:21 Changed 5 years ago by
- Description modified (diff)
comment:22 Changed 5 years ago by
- Description modified (diff)
comment:23 Changed 5 years ago by
- Description modified (diff)
comment:24 Changed 5 years ago by
- Description modified (diff)
comment:25 Changed 5 years ago by
- Description modified (diff)
comment:26 Changed 5 years ago by
- Description modified (diff)
comment:27 Changed 5 years ago by
- Branch set to u/saraedum/a_framework_for_discrete_valuations_in_sage
comment:28 Changed 5 years ago by
- Commit set to 0f615c771cac39a2cce4d54b4fd190f1c84992de
- Keywords sd87 added
comment:29 Changed 5 years ago by
- Commit changed from 0f615c771cac39a2cce4d54b4fd190f1c84992de to 4153ef9b3a920d079437825960d904205fc2ae53
comment:30 Changed 5 years ago by
- Commit changed from 4153ef9b3a920d079437825960d904205fc2ae53 to c0a81c8285b47f6fc89aa34bc125ac474c75f2e9
Branch pushed to git repo; I updated commit sha1. New commits:
c0a81c8 | fix function lookup
|
comment:31 Changed 5 years ago by
- Description modified (diff)
New commits:
c0a81c8 | fix function lookup
|
comment:32 Changed 5 years ago by
- Description modified (diff)
- Work issues set to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits
comment:33 Changed 5 years ago by
- Status changed from new to needs_review
comment:34 Changed 5 years ago by
- Description modified (diff)
comment:35 Changed 5 years ago by
- Description modified (diff)
comment:36 follow-up: ↓ 38 Changed 5 years ago by
I was reviewing gauss_valuation.py and tried reducing a polynomial using the Gauss valuation induced by the 2-adic valuation, and got an unexpected error message. I thought it would tell me that the polynomial wasn't integral, and instead it gave me a coercion error.
sage: v Gauss valuation induced by 2-adic valuation sage: v.domain() Univariate Polynomial Ring in y over Integer Ring sage: h 1/2*y^2 sage: v.reduce(h) --------------------------------------------------------------------------- TypeError Traceback (most recent call last) <ipython-input-108-4d78566b468b> in <module>() ----> 1 v.reduce(h) /projects/da1818ed-996d-4de6-acc6-361415b7725d/user/padma_sk/mac_lane/gauss_valuation.py in reduce(self, f, check, degree_bound, coefficients, valuations) 360 361 """ --> 362 f = self.domain().coerce(f) 363 364 if degree_bound is not None: /usr/local/sage/src/sage/structure/parent.pyx in sage.structure.parent.Parent.coerce (/usr/local/sage/src/build/cythonized/sage/structure/parent.c:11229)() 1166 return False 1167 -> 1168 cpdef coerce(self, x): 1169 """ 1170 Return x as an element of self, if and only if there is a canonical /usr/local/sage/src/sage/structure/parent.pyx in sage.structure.parent.Parent.coerce (/usr/local/sage/src/build/cythonized/sage/structure/parent.c:11158)() 1193 except Exception: 1194 _record_exception() -> 1195 raise TypeError("no canonical coercion from %s to %s" % (parent(x), self)) 1196 else: 1197 return (<map.Map>mor)._call_(x) TypeError: no canonical coercion from Univariate Polynomial Ring in y over Rational Field to Univariate Polynomial Ring in y over Integer Ring
comment:37 follow-up: ↓ 39 Changed 5 years ago by
equivalence_unit from gauss_valuation.py isn't outputting the results shown in the example input -2 as shown in the file.
sage: v Gauss valuation induced by 2-adic valuation sage: v.domain() Univariate Polynomial Ring in y over Integer Ring sage: v.equivalence_unit(2) 4 sage: v.equivalence_unit(-2) --------------------------------------------------------------------------- ValueError Traceback (most recent call last) <ipython-input-128-71aadb857663> in <module>() ----> 1 v.equivalence_unit(-Integer(2)) /usr/local/sage/src/sage/misc/cachefunc.pyx in sage.misc.cachefunc.CachedMethodCaller.__call__ (/usr/local/sage/src/build/cythonized/sage/misc/cachefunc.c:1079 2)() 2036 return cache[k] 2037 except KeyError: -> 2038 w = self._instance_call(*args, **kwds) 2039 cache[k] = w 2040 return w /usr/local/sage/src/sage/misc/cachefunc.pyx in sage.misc.cachefunc.CachedMethodCaller._instance_call (/usr/local/sage/src/build/cythonized/sage/misc/cachefunc. c:10238)() 1912 True 1913 """ -> 1914 return self.f(self._instance, *args, **kwds) 1915 1916 cdef fix_args_kwds(self, tuple args, dict kwds): /projects/da1818ed-996d-4de6-acc6-361415b7725d/user/padma_sk/mac_lane/gauss_valuation.py in equivalence_unit(self, s, reciprocal) 474 return self.equivalence_reciprocal(self.equivalence_unit(-s)) 475 --> 476 ret = self._base_valuation.element_with_valuation(s) 477 return self.domain()(ret) 478 /projects/da1818ed-996d-4de6-acc6-361415b7725d/user/padma_sk/mac_lane/valuation_space.py in element_with_valuation(self, s) 465 s = QQ.coerce(s) 466 if s not in self.value_semigroup(): --> 467 raise ValueError("s must be in the value semigroup of this valuation but %r is not in %r"%(s, self.value_semigroup())) 468 if s == 0: 469 return self.domain().one() ValueError: s must be in the value semigroup of this valuation but -2 is not in Additive Abelian Semigroup generated by 1
comment:38 in reply to: ↑ 36 Changed 5 years ago by
Thanks for reporting this. I think this is ok. The problem here is not that the polynomial is not integral but that the polynomial is not in the domain.
This works:
sage: R.<x> = QQ[] sage: v = valuations.GaussValuation(R, QQ.valuation(2)) sage: v.reduce(x + 1/2) ValueError: reduction not defined for non-integral elements and x + 1/2 is not integral over Gauss valuation induced by 2-adic valuation
This does not:
sage: R.<x> = ZZ[] sage: v = valuations.GaussValuation(R, ZZ.valuation(2)) sage: v.reduce(x + 1/2) TypeError: no canonical coercion from Univariate Polynomial Ring in x over Rational Field to Univariate Polynomial Ring in x over Integer Ring
Replying to padma_sk:
I was reviewing gauss_valuation.py and tried reducing a polynomial using the Gauss valuation induced by the 2-adic valuation, and got an unexpected error message. I thought it would tell me that the polynomial wasn't integral, and instead it gave me a coercion error.
sage: v Gauss valuation induced by 2-adic valuation sage: v.domain() Univariate Polynomial Ring in y over Integer Ring sage: h 1/2*y^2 sage: v.reduce(h) --------------------------------------------------------------------------- TypeError Traceback (most recent call last) <ipython-input-108-4d78566b468b> in <module>() ----> 1 v.reduce(h) /projects/da1818ed-996d-4de6-acc6-361415b7725d/user/padma_sk/mac_lane/gauss_valuation.py in reduce(self, f, check, degree_bound, coefficients, valuations) 360 361 """ --> 362 f = self.domain().coerce(f) 363 364 if degree_bound is not None: /usr/local/sage/src/sage/structure/parent.pyx in sage.structure.parent.Parent.coerce (/usr/local/sage/src/build/cythonized/sage/structure/parent.c:11229)() 1166 return False 1167 -> 1168 cpdef coerce(self, x): 1169 """ 1170 Return x as an element of self, if and only if there is a canonical /usr/local/sage/src/sage/structure/parent.pyx in sage.structure.parent.Parent.coerce (/usr/local/sage/src/build/cythonized/sage/structure/parent.c:11158)() 1193 except Exception: 1194 _record_exception() -> 1195 raise TypeError("no canonical coercion from %s to %s" % (parent(x), self)) 1196 else: 1197 return (<map.Map>mor)._call_(x) TypeError: no canonical coercion from Univariate Polynomial Ring in y over Rational Field to Univariate Polynomial Ring in y over Integer Ring
comment:39 in reply to: ↑ 37 Changed 5 years ago by
You are in the wrong domain in this example I think:
This is the error you are seeing because there is no element of valuation -2 in ZZ[x]
.
sage: R.<x> = ZZ[] sage: v = valuations.GaussValuation(R, ZZ.valuation(2)) sage: v.element_with_valuation(-2) ValueError: s must be in the value semigroup of this valuation but -2 is not in Additive Abelian Semigroup generated by 1
However, this works in QQ[x]
.
sage: sage: R.<x> = QQ[] sage: v = valuations.GaussValuation(R, QQ.valuation(2)) sage: v.element_with_valuation(-2) 1/4
Does that make sense? (Should it be documented more explicitly?)
Replying to padma_sk:
equivalence_unit from gauss_valuation.py isn't outputting the results shown in the example input -2 as shown in the file.
sage: v Gauss valuation induced by 2-adic valuation sage: v.domain() Univariate Polynomial Ring in y over Integer Ring sage: v.equivalence_unit(2) 4 sage: v.equivalence_unit(-2) --------------------------------------------------------------------------- ValueError Traceback (most recent call last) <ipython-input-128-71aadb857663> in <module>() ----> 1 v.equivalence_unit(-Integer(2)) /usr/local/sage/src/sage/misc/cachefunc.pyx in sage.misc.cachefunc.CachedMethodCaller.__call__ (/usr/local/sage/src/build/cythonized/sage/misc/cachefunc.c:1079 2)() 2036 return cache[k] 2037 except KeyError: -> 2038 w = self._instance_call(*args, **kwds) 2039 cache[k] = w 2040 return w /usr/local/sage/src/sage/misc/cachefunc.pyx in sage.misc.cachefunc.CachedMethodCaller._instance_call (/usr/local/sage/src/build/cythonized/sage/misc/cachefunc. c:10238)() 1912 True 1913 """ -> 1914 return self.f(self._instance, *args, **kwds) 1915 1916 cdef fix_args_kwds(self, tuple args, dict kwds): /projects/da1818ed-996d-4de6-acc6-361415b7725d/user/padma_sk/mac_lane/gauss_valuation.py in equivalence_unit(self, s, reciprocal) 474 return self.equivalence_reciprocal(self.equivalence_unit(-s)) 475 --> 476 ret = self._base_valuation.element_with_valuation(s) 477 return self.domain()(ret) 478 /projects/da1818ed-996d-4de6-acc6-361415b7725d/user/padma_sk/mac_lane/valuation_space.py in element_with_valuation(self, s) 465 s = QQ.coerce(s) 466 if s not in self.value_semigroup(): --> 467 raise ValueError("s must be in the value semigroup of this valuation but %r is not in %r"%(s, self.value_semigroup())) 468 if s == 0: 469 return self.domain().one() ValueError: s must be in the value semigroup of this valuation but -2 is not in Additive Abelian Semigroup generated by 1
comment:40 Changed 5 years ago by
- Description modified (diff)
comment:41 Changed 5 years ago by
- Dependencies set to #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996
comment:42 Changed 5 years ago by
- Dependencies changed from #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996 to #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190
comment:43 Changed 5 years ago by
- Description modified (diff)
comment:44 Changed 5 years ago by
- Description modified (diff)
comment:45 follow-up: ↓ 48 Changed 5 years ago by
- Reviewers set to GaYee Park
- Status changed from needs_review to needs_work
Ran the test and found the error:
sage -t src/sage/rings/function_field/function_field.py # 7 doctests failed
comment:46 Changed 5 years ago by
- Description modified (diff)
comment:47 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics
comment:48 in reply to: ↑ 45 Changed 5 years ago by
Replying to gpark:
Ran the test and found the error:
sage -t src/sage/rings/function_field/function_field.py # 7 doctests failed
Did you run the tests with all the dependencies applied? About 50 tests fail for me. That's expected (since the dependencies are not in yet.)
comment:49 Changed 5 years ago by
- Description modified (diff)
- Reviewers changed from GaYee Park to GaYee Park, Stefan Wewers
comment:50 Changed 5 years ago by
- Status changed from needs_work to needs_review
comment:51 Changed 5 years ago by
- Description modified (diff)
comment:52 Changed 5 years ago by
- Description modified (diff)
comment:53 Changed 5 years ago by
The following errors are expected. I am working on them.
---------------------------------------------------------------------- sage -t --warn-long 39.1 src/sage/rings/valuation/limit_valuation.py # 52 doctests failed sage -t --warn-long 39.1 src/sage/rings/valuation/gauss_valuation.py # 1 doctest failed sage -t --warn-long 39.1 src/sage/rings/valuation/valuation_space.py # 2 doctests failed sage -t --warn-long 39.1 src/sage/rings/valuation/mapped_valuation.py # 42 doctests failed sage -t --warn-long 39.1 src/sage/rings/valuation/valuation.py # 9 doctests failed sage -t --warn-long 39.1 src/sage/rings/valuation/inductive_valuation.py # 13 doctests failed sage -t --warn-long 39.1 src/sage/rings/valuation/augmented_valuation.py # 16 doctests failed ----------------------------------------------------------------------
comment:54 Changed 5 years ago by
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 135 failing doctests
comment:55 Changed 5 years ago by
- Dependencies changed from #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190 to #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495
- Description modified (diff)
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 135 failing doctests to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics
comment:56 Changed 5 years ago by
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 135 failing doctests
comment:57 Changed 5 years ago by
- Description modified (diff)
Sorry, I somehow reverted some changes to the ticket description. Not sure how this happened.
comment:58 Changed 5 years ago by
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 135 failing doctests to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 252 failing doctests
comment:59 Changed 5 years ago by
- Description modified (diff)
comment:60 Changed 5 years ago by
- Description modified (diff)
comment:61 Changed 5 years ago by
- Description modified (diff)
I have had a look at function_field_valuation
. I have already worked with the code a lot, and it is working fine, and the documentation is extensive and clear. But I have only tested the latest standalone version.
comment:62 Changed 5 years ago by
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 252 failing doctests to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 288 failing doctests
comment:63 Changed 5 years ago by
- Reviewers changed from GaYee Park, Stefan Wewers to GaYee Park, Stefan Wewers, David Roe
comment:64 Changed 5 years ago by
- Commit changed from c0a81c8285b47f6fc89aa34bc125ac474c75f2e9 to 9fd87332c734899d860972d836d479283b5ab62f
Branch pushed to git repo; I updated commit sha1. New commits:
9fd8733 | fix import
|
comment:65 Changed 5 years ago by
- Commit changed from 9fd87332c734899d860972d836d479283b5ab62f to e1e65a5d7514ebe51365bdf1da402d2054f02654
Branch pushed to git repo; I updated commit sha1. New commits:
e1e65a5 | fixed typo
|
comment:66 Changed 5 years ago by
- Commit changed from e1e65a5d7514ebe51365bdf1da402d2054f02654 to 9c16a1bc642498daaa1c17f61a874cbd42f4063b
Branch pushed to git repo; I updated commit sha1. New commits:
9c16a1b | undo .valuation() shortcut
|
comment:67 Changed 5 years ago by
- Commit changed from 9c16a1bc642498daaa1c17f61a874cbd42f4063b to 119f2454cb4100c62300121a7df024a8b4dead9e
Branch pushed to git repo; I updated commit sha1. New commits:
119f245 | It is not relevant whether a valuation converts into the valuation space but whether it is already in the valuation space
|
comment:68 Changed 5 years ago by
- Commit changed from 119f2454cb4100c62300121a7df024a8b4dead9e to 7ea987498d844fb5aa28c4023cc8f4350d48a20a
Branch pushed to git repo; I updated commit sha1. New commits:
7ea9874 | fix doctests
|
comment:69 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 288 failing doctests to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 36 failing doctests
comment:70 Changed 5 years ago by
- Dependencies changed from #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495 to #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483
comment:71 Changed 5 years ago by
- Commit changed from 7ea987498d844fb5aa28c4023cc8f4350d48a20a to 0c60cb7006afcd336963fdcc7af5cab510cd796b
comment:72 Changed 5 years ago by
- Commit changed from 0c60cb7006afcd336963fdcc7af5cab510cd796b to 20100145cbdac34f8f3f021f597f750541c60d11
Branch pushed to git repo; I updated commit sha1. New commits:
2010014 | restricting to ZZ, we need to know the prime
|
comment:73 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 36 failing doctests to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests
comment:74 Changed 5 years ago by
- Commit changed from 20100145cbdac34f8f3f021f597f750541c60d11 to efe24904ec35606462a941a47fee496ebf463491
comment:75 Changed 5 years ago by
- Dependencies changed from #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483 to #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495
- Description modified (diff)
- Reviewers changed from GaYee Park, Stefan Wewers, David Roe to GaYee Park, Stefan Wewers
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 252 failing doctests
New commits:
e5ef4d8 | do not catch everything
|
9fd8733 | fix import
|
e1e65a5 | fixed typo
|
9c16a1b | undo .valuation() shortcut
|
119f245 | It is not relevant whether a valuation converts into the valuation space but whether it is already in the valuation space
|
7ea9874 | fix doctests
|
3fd4140 | add doctest output
|
0c60cb7 | fix valuation parameters
|
2010014 | restricting to ZZ, we need to know the prime
|
efe2490 | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
comment:76 Changed 5 years ago by
- Dependencies changed from #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495 to #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483
- Description modified (diff)
- Reviewers changed from GaYee Park, Stefan Wewers to GaYee Park, Stefan Wewers, David Roe
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 252 failing doctests to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests
Oops. Reverting.
comment:77 Changed 5 years ago by
- Description modified (diff)
comment:78 Changed 5 years ago by
- Commit changed from efe24904ec35606462a941a47fee496ebf463491 to 0fd986f1773f30ea1f89b01198892fd32c122882
Branch pushed to git repo; I updated commit sha1. New commits:
1eace28 | Update valuation_space.py
|
21b0f68 | Update valuation_space.py
|
38f3815 | Update valuation_space.py
|
7c57f68 | Update valuation_space.py
|
d90afa8 | Update valuation_space.py
|
1cb8178 | Update valuation_space.py
|
39cb55b | Update valuation_space.py
|
a474ed5 | Update valuation_space.py
|
ca2089f | Update valuation_space.py
|
0fd986f | Merge remote-tracking branch 'remotes/github/sage' into t/21869/a_framework_for_discrete_valuations_in_sage
|
comment:79 Changed 5 years ago by
- Description modified (diff)
comment:80 Changed 5 years ago by
- Description modified (diff)
comment:81 Changed 5 years ago by
- Description modified (diff)
comment:82 Changed 5 years ago by
- Description modified (diff)
comment:83 Changed 5 years ago by
- Description modified (diff)
comment:84 Changed 5 years ago by
- Description modified (diff)
comment:85 Changed 5 years ago by
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?
comment:86 Changed 5 years ago by
- Description modified (diff)
comment:87 Changed 5 years ago by
- Description modified (diff)
comment:88 Changed 5 years ago by
- Description modified (diff)
comment:89 Changed 5 years ago by
- Description modified (diff)
comment:90 Changed 5 years ago by
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism? to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, make sure there are no more optional:integrateds
comment:91 Changed 5 years ago by
- Reviewers changed from GaYee Park, Stefan Wewers, David Roe to GaYee Park, Stefan Wewers, David Roe, Padmavathi Srinivasan, Shiva Chidambaram
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, make sure there are no more optional:integrateds to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?
comment:92 Changed 5 years ago by
- Commit changed from 0fd986f1773f30ea1f89b01198892fd32c122882 to 33aa99f1aa6c8e4478cd73c1808b3e7918a29402
Branch pushed to git repo; I updated commit sha1. New commits:
bcb78f3 | Update scaled_valuation.py
|
be4daab | Update valuation.py
|
7a95a9d | Update augmented_valuation.py
|
dbf7791 | Update augmented_valuation.py
|
58bb2bc | Update developing_valuation.py
|
e1c8bd5 | Update limit_valuation.py
|
a0f6bd3 | Update mapped_valuation.py
|
33aa99f | Update padic_valuation.py
|
comment:93 Changed 5 years ago by
- Commit changed from 33aa99f1aa6c8e4478cd73c1808b3e7918a29402 to 37d718725faa28404b3db194cc81b9eede19c01e
comment:94 Changed 5 years ago by
- Description modified (diff)
- Type changed from task to enhancement
comment:95 Changed 5 years ago by
- Description modified (diff)
comment:96 Changed 5 years ago by
- Commit changed from 37d718725faa28404b3db194cc81b9eede19c01e to 8da1ceb17a7bbcfbf174cdb754365d3ddca05cc0
Branch pushed to git repo; I updated commit sha1. New commits:
8da1ceb | Clarify semigroup construction
|
comment:97 Changed 5 years ago by
- Commit changed from 8da1ceb17a7bbcfbf174cdb754365d3ddca05cc0 to 07e40b964b4ab3a9f7cdf448bcd5956065fd787f
Branch pushed to git repo; I updated commit sha1. New commits:
07e40b9 | add shifting doctest
|
comment:98 Changed 5 years ago by
- Description modified (diff)
New commits:
07e40b9 | add shifting doctest
|
comment:99 Changed 5 years ago by
- Commit changed from 07e40b964b4ab3a9f7cdf448bcd5956065fd787f to 021b188797aa024ae6f17f4954f679eabcaed5c3
Branch pushed to git repo; I updated commit sha1. New commits:
021b188 | improve error message
|
comment:100 Changed 5 years ago by
- Commit changed from 021b188797aa024ae6f17f4954f679eabcaed5c3 to a6a798f9e713f7237e81eea92cdaca9bc455eda3
Branch pushed to git repo; I updated commit sha1. New commits:
a6a798f | Clarified the notion of minimality
|
comment:101 Changed 5 years ago by
- Commit changed from a6a798f9e713f7237e81eea92cdaca9bc455eda3 to ee0db3141cb365e8e7cdf89ec568b3b493a179e9
Branch pushed to git repo; I updated commit sha1. New commits:
ee0db31 | clarify meaning of effective_degree
|
comment:102 Changed 5 years ago by
- Commit changed from ee0db3141cb365e8e7cdf89ec568b3b493a179e9 to e9243b8ea32bdaba2694bc77071b3ee41b7355ce
Branch pushed to git repo; I updated commit sha1. New commits:
e9243b8 | bring residue into the right residue ring
|
comment:103 Changed 5 years ago by
- Commit changed from e9243b8ea32bdaba2694bc77071b3ee41b7355ce to 24e68ecc6536c18d63d77d7f56ae4cb27a98ae10
Branch pushed to git repo; I updated commit sha1. New commits:
24e68ec | add to/from residue ring tests
|
comment:104 Changed 5 years ago by
- Commit changed from 24e68ecc6536c18d63d77d7f56ae4cb27a98ae10 to 2bed311a203da9a773b4cefe0bc3c6b5c038394b
comment:105 Changed 5 years ago by
- Commit changed from 2bed311a203da9a773b4cefe0bc3c6b5c038394b to 544977a3161e2f86d1e924b7403fd9709c77620a
comment:106 Changed 5 years ago by
- Commit changed from 544977a3161e2f86d1e924b7403fd9709c77620a to a0880bd55bb78b4c738917211adf2d0892a33038
Branch pushed to git repo; I updated commit sha1. New commits:
a0880bd | Fix bug in p-adic shift
|
comment:107 Changed 5 years ago by
- Commit changed from a0880bd55bb78b4c738917211adf2d0892a33038 to e9eddbd7dc92017f1113612dace917d562c55eaf
Branch pushed to git repo; I updated commit sha1. New commits:
e9eddbd | better size estimate for large primes
|
comment:108 Changed 5 years ago by
- Commit changed from e9eddbd7dc92017f1113612dace917d562c55eaf to d0ebc9bc5ba1f1f76476c9cc2c69f39f26a9e1d0
comment:109 Changed 5 years ago by
- Commit changed from d0ebc9bc5ba1f1f76476c9cc2c69f39f26a9e1d0 to 7c1bf020ef92e91440d97a3cc5a7354483ef36c0
Branch pushed to git repo; I updated commit sha1. New commits:
7c1bf02 | Key has changed
|
comment:110 Changed 5 years ago by
- Description modified (diff)
comment:111 Changed 5 years ago by
- Commit changed from 7c1bf020ef92e91440d97a3cc5a7354483ef36c0 to a93ce9ae2b875091b6e3d3b2079835b69026525f
Branch pushed to git repo; I updated commit sha1. New commits:
a93ce9a | Some examples that came up at Sage Days 87
|
comment:112 Changed 5 years ago by
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism? to move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, check generated documentation
New commits:
a93ce9a | Some examples that came up at Sage Days 87
|
comment:113 Changed 5 years ago by
- Commit changed from a93ce9ae2b875091b6e3d3b2079835b69026525f to 7bc7f170e970245c65c39e379a84d099234e8c83
Branch pushed to git repo; I updated commit sha1. New commits:
709e7f6 | GaussValuation is available on the global scope
|
a86ed5e | added introductory examples for developing valuations
|
f305a7f | Update inductive_valuation.py
|
b86ddd7 | Merge branch 'sage' of github.com:saraedum/mac_lane into t/21869/a_framework_for_discrete_valuations_in_sage
|
7bc7f17 | Improved intro sections of valuation files
|
comment:114 Changed 5 years ago by
- Work issues changed from move references to references file, move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, check generated documentation to move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, check generated documentation, add references to methods
New commits:
709e7f6 | GaussValuation is available on the global scope
|
a86ed5e | added introductory examples for developing valuations
|
f305a7f | Update inductive_valuation.py
|
b86ddd7 | Merge branch 'sage' of github.com:saraedum/mac_lane into t/21869/a_framework_for_discrete_valuations_in_sage
|
7bc7f17 | Improved intro sections of valuation files
|
comment:115 Changed 5 years ago by
- Commit changed from 7bc7f170e970245c65c39e379a84d099234e8c83 to 62134d89bd5b2b3f6064e6d9cf48133558bbe91f
Branch pushed to git repo; I updated commit sha1. New commits:
62134d8 | move README to the reference manual
|
comment:116 Changed 5 years ago by
- Work issues changed from move README to sage documentation, make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, check generated documentation, add references to methods to make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, check generated documentation, add references to methods
New commits:
62134d8 | move README to the reference manual
|
comment:117 Changed 5 years ago by
- Commit changed from 62134d89bd5b2b3f6064e6d9cf48133558bbe91f to 39ee4e92895e44d022ecc9aebdf7a4aed2eabbfd
Branch pushed to git repo; I updated commit sha1. New commits:
39ee4e9 | Move p-adic valuation factory documentation
|
comment:118 Changed 5 years ago by
- Work issues changed from make sure that valuation() has a lot of the documentation and the factory just references it, remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, check generated documentation, add references to methods to remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, check generated documentation, add references to methods
comment:119 Changed 5 years ago by
- Work issues changed from remove optional: integrated bits, check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, check generated documentation, add references to methods to check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, check generated documentation, add references to methods
comment:120 Changed 5 years ago by
- Work issues changed from check that discrete_value_group is still available the same way it was under padics, 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, check generated documentation, add references to methods to 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, check generated documentation, add references to methods
comment:121 Changed 5 years ago by
- Work issues changed from 33 failing doctests, is anything inheriting from Map/DefaultConvertMap instead of Morphism?, check generated documentation, add references to methods to 33 failing doctests, check generated documentation, add references to method
comment:122 Changed 5 years ago by
- Commit changed from 39ee4e92895e44d022ecc9aebdf7a4aed2eabbfd to d893c55a222ef01c0c281c7fc9032118003e8dcc
Branch pushed to git repo; I updated commit sha1. New commits:
d893c55 | remove completed TODO
|
comment:123 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 33 failing doctests, check generated documentation, add references to method to 33 failing doctests, check generated documentation, add references to method, comments on github
New commits:
d893c55 | remove completed TODO
|
comment:124 Changed 5 years ago by
- Description modified (diff)
comment:125 Changed 5 years ago by
- Description modified (diff)
comment:126 Changed 5 years ago by
- Commit changed from d893c55a222ef01c0c281c7fc9032118003e8dcc to e318075c0420a9225010a4b57c66e68d9c052567
Branch pushed to git repo; I updated commit sha1. New commits:
e318075 | value_group has moved
|
comment:127 Changed 5 years ago by
- Commit changed from e318075c0420a9225010a4b57c66e68d9c052567 to a2d10913245fc598684fe178f3eaf74bac5e5b2e
Branch pushed to git repo; I updated commit sha1. New commits:
a2d1091 | fix toctree formatting
|
comment:128 Changed 5 years ago by
- Commit changed from a2d10913245fc598684fe178f3eaf74bac5e5b2e to 9b0280042e3e1266bce9c4dee0e92ec207d0205f
Branch pushed to git repo; I updated commit sha1. New commits:
9b02800 | fix docbuild
|
comment:129 Changed 5 years ago by
- Commit changed from 9b0280042e3e1266bce9c4dee0e92ec207d0205f to 735cd8d901ea93cf7e7d2613e16f9f0514967ec4
Branch pushed to git repo; I updated commit sha1. New commits:
735cd8d | fix typo
|
comment:130 Changed 5 years ago by
- Commit changed from 735cd8d901ea93cf7e7d2613e16f9f0514967ec4 to 04dd3954fc4969dab2049e689453ddb606a5419e
Branch pushed to git repo; I updated commit sha1. New commits:
04dd395 | fix reference link
|
comment:131 Changed 5 years ago by
- Commit changed from 04dd3954fc4969dab2049e689453ddb606a5419e to 36f33e6cbd3d8535f8c1da12af0e9f549df8f602
comment:132 Changed 5 years ago by
- Commit changed from 36f33e6cbd3d8535f8c1da12af0e9f549df8f602 to 4630b93916bf0c5277c63eef537019e6ce3c28fe
comment:133 Changed 5 years ago by
- Commit changed from 4630b93916bf0c5277c63eef537019e6ce3c28fe to cc9607fbf5d5e836a20f97117991886d3d27aab1
Branch pushed to git repo; I updated commit sha1. New commits:
cc9607f | fix docbuild
|
comment:134 Changed 5 years ago by
- Commit changed from cc9607fbf5d5e836a20f97117991886d3d27aab1 to 2b767b709f4cf5e11e4d1bdf946e726a0e5865df
Branch pushed to git repo; I updated commit sha1. New commits:
2b767b7 | fix reference key
|
comment:135 Changed 5 years ago by
- Commit changed from 2b767b709f4cf5e11e4d1bdf946e726a0e5865df to cdf89aef1bf3a1b6f7c98a650ce8669dd6c1becb
Branch pushed to git repo; I updated commit sha1. New commits:
cdf89ae | renamed reference manual section
|
comment:136 Changed 5 years ago by
- Description modified (diff)
comment:137 Changed 5 years ago by
- Commit changed from cdf89aef1bf3a1b6f7c98a650ce8669dd6c1becb to c011093d3b22d3826a51c28f48bf81cef79063fd
Branch pushed to git repo; I updated commit sha1. New commits:
c011093 | reformat headers for reference manual
|
comment:138 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 33 failing doctests, check generated documentation, add references to method, comments on github to 121 failing doctests, check generated documentation, add references to method, comments on github
New commits:
c011093 | reformat headers for reference manual
|
comment:139 Changed 5 years ago by
- Commit changed from c011093d3b22d3826a51c28f48bf81cef79063fd to 8022ed196995b2e7b1bc93c9dcd5f0d93fd3bfd4
Branch pushed to git repo; I updated commit sha1. New commits:
8022ed1 | fix docbuild
|
comment:140 Changed 5 years ago by
- Commit changed from 8022ed196995b2e7b1bc93c9dcd5f0d93fd3bfd4 to 14e034e46f0834f42f0ddd84f74a8b2814dbe809
Branch pushed to git repo; I updated commit sha1. New commits:
14e034e | fix value_group documentation
|
comment:141 Changed 5 years ago by
- Commit changed from 14e034e46f0834f42f0ddd84f74a8b2814dbe809 to 3bff1b961ca0104b5cb70415b2100bd4c83d1ae8
Branch pushed to git repo; I updated commit sha1. New commits:
3bff1b9 | fix documentation in valuation
|
comment:142 Changed 5 years ago by
- Commit changed from 3bff1b961ca0104b5cb70415b2100bd4c83d1ae8 to 7db0f057258c627ac6e648cebd67536569500cd6
comment:143 Changed 5 years ago by
- Commit changed from 7db0f057258c627ac6e648cebd67536569500cd6 to 2f6dd581cc8768f4cfa467629df2fe50773758b2
Branch pushed to git repo; I updated commit sha1. New commits:
2f6dd58 | fix MacLane references
|
comment:144 Changed 5 years ago by
- Commit changed from 2f6dd581cc8768f4cfa467629df2fe50773758b2 to 007499ebc0532f8c9fb63767d359b9dcbf582cac
comment:145 Changed 5 years ago by
- Commit changed from 007499ebc0532f8c9fb63767d359b9dcbf582cac to a105a8f43dc3bce318bb373d9fccf0a0ec34948b
Branch pushed to git repo; I updated commit sha1. New commits:
a105a8f | fixed links in documentation
|
comment:146 Changed 5 years ago by
- Commit changed from a105a8f43dc3bce318bb373d9fccf0a0ec34948b to 3b91735e9718a4b000a627a451ddc6aedef61ac2
Branch pushed to git repo; I updated commit sha1. New commits:
3b91735 | fixing links in developing valuation
|
comment:147 Changed 5 years ago by
- Commit changed from 3b91735e9718a4b000a627a451ddc6aedef61ac2 to ee5abb213abfaa78d2ebe82f839c5fe312b54146
Branch pushed to git repo; I updated commit sha1. New commits:
ee5abb2 | Fix links in developing valuation
|
comment:148 Changed 5 years ago by
- Commit changed from ee5abb213abfaa78d2ebe82f839c5fe312b54146 to 548e879415fb1a128531f4961f51cc9e88a3e313
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
51e89db | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
0f66745 | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
984cc75 | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
35b62e6 | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
c50f6ec | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
93757ef | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
5c62063 | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
f173caf | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
013292f | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
548e879 | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
comment:149 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 121 failing doctests, check generated documentation, add references to method, comments on github to 121 failing doctests, check generated documentation, add references to method, comments on github, check docbuild output for broken links
comment:150 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 121 failing doctests, check generated documentation, add references to method, comments on github, check docbuild output for broken links to 121 failing doctests, comments on github, check docbuild output for broken links
comment:151 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 121 failing doctests, comments on github, check docbuild output for broken links to 120 failing doctests, comments on github, check docbuild output for broken links
comment:152 Changed 5 years ago by
- Commit changed from 548e879415fb1a128531f4961f51cc9e88a3e313 to 2ca7a7c934463219690fd31d5ff4f4c3ee341c31
Branch pushed to git repo; I updated commit sha1. New commits:
6da7536 | fix broken documentation links
|
6aa9f65 | Fixed documentation
|
d27262a | Fix _richcmp_
|
6509f94 | Merge remote-tracking branch 'trac/u/saraedum/23190' into t/21869/a_framework_for_discrete_valuations_in_sage
|
fb66f9f | Fix richcmp
|
e3fb631 | Merge branch 'u/saraedum/a_polynomial_ring_embeds_into_its_fraction_field' of git://trac.sagemath.org/sage into t/23185/a_polynomial_ring_embeds_into_its_fraction_field
|
f3ecd0e | added missing doctest
|
5093894 | Merge remote-tracking branch 'trac/u/saraedum/a_polynomial_ring_embeds_into_its_fraction_field' into t/21869/a_framework_for_discrete_valuations_in_sage
|
2ca7a7c | fix pickling of valuations
|
comment:153 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 120 failing doctests, comments on github, check docbuild output for broken links to 67 failing doctests, comments on github, check docbuild output for broken links
New commits:
6da7536 | fix broken documentation links
|
6aa9f65 | Fixed documentation
|
d27262a | Fix _richcmp_
|
6509f94 | Merge remote-tracking branch 'trac/u/saraedum/23190' into t/21869/a_framework_for_discrete_valuations_in_sage
|
fb66f9f | Fix richcmp
|
e3fb631 | Merge branch 'u/saraedum/a_polynomial_ring_embeds_into_its_fraction_field' of git://trac.sagemath.org/sage into t/23185/a_polynomial_ring_embeds_into_its_fraction_field
|
f3ecd0e | added missing doctest
|
5093894 | Merge remote-tracking branch 'trac/u/saraedum/a_polynomial_ring_embeds_into_its_fraction_field' into t/21869/a_framework_for_discrete_valuations_in_sage
|
2ca7a7c | fix pickling of valuations
|
comment:154 Changed 5 years ago by
- Commit changed from 2ca7a7c934463219690fd31d5ff4f4c3ee341c31 to 45e0e8f7cb9b0b6b8aaa1d3af8e4c4a761fb0cca
comment:155 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 67 failing doctests, comments on github, check docbuild output for broken links to 53 failing doctests, comments on github, check docbuild output for broken links
comment:156 Changed 5 years ago by
- Commit changed from 45e0e8f7cb9b0b6b8aaa1d3af8e4c4a761fb0cca to 6de28680e68ec96f826efca092dc39b8e032158c
comment:157 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 53 failing doctests, comments on github, check docbuild output for broken links to 46 failing doctests, comments on github, check docbuild output for broken links
comment:158 Changed 5 years ago by
- Commit changed from 6de28680e68ec96f826efca092dc39b8e032158c to 249bdc0743c0c79ffd6cec510db0d9c7bbec49e2
comment:159 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 46 failing doctests, comments on github, check docbuild output for broken links to 36 failing doctests, comments on github, check docbuild output for broken links
comment:160 Changed 5 years ago by
- Dependencies changed from #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483 to #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483, #23510
comment:161 Changed 5 years ago by
- Dependencies changed from #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483, #23510 to #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483, #23510, #23525
comment:162 Changed 5 years ago by
- Commit changed from 249bdc0743c0c79ffd6cec510db0d9c7bbec49e2 to 005e7ab0f7740c533e13de1c5f9555cf1575fb72
Branch pushed to git repo; I updated commit sha1. New commits:
a92f47f | make sure that arguments to add_bigoh are correctly normalized
|
aa1709d | comment on stagnating degrees
|
005e7ab | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
comment:163 Changed 5 years ago by
- Commit changed from 005e7ab0f7740c533e13de1c5f9555cf1575fb72 to 2d1cb90b3deffd9210a9d6366cdf8666c38acbdc
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
bd15d71 | add exact keyword
|
99dccf6 | Merge branch 't/23331/allow_exact_defining_polynomials_for_p_adic_extensions' into t/20310/change_precision
|
ef4ed33 | Fix SEEALSO:
|
1754b44 | Fix exact=True errors in the right branch
|
7926b41 | Moving code for fraction_field and integer_ring, and enabling fraction fields for fixed-mod
|
7712a86 | Merge remote-tracking branch 'trac/u/roed/fixed_mod_frac_field' into t/21869/a_framework_for_discrete_valuations_in_sage
|
276e4f7 | fix and fill in doctest output
|
9b03cf8 | compute fraction field only when necessary
|
a886c42 | fix pickling of nodes
|
2d1cb90 | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
comment:164 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 36 failing doctests, comments on github, check docbuild output for broken links to 7 failing doctests, check docbuild output for broken links
Last 10 new commits:
1754b44 | Fix exact=True errors in the right branch
|
7926b41 | Moving code for fraction_field and integer_ring, and enabling fraction fields for fixed-mod
|
7712a86 | Merge remote-tracking branch 'trac/u/roed/fixed_mod_frac_field' into t/21869/a_framework_for_discrete_valuations_in_sage
|
276e4f7 | fix and fill in doctest output
|
9b03cf8 | compute fraction field only when necessary
|
a886c42 | fix pickling of nodes
|
a92f47f | make sure that arguments to add_bigoh are correctly normalized
|
aa1709d | comment on stagnating degrees
|
005e7ab | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
2d1cb90 | Merge branch 'u/saraedum/a_framework_for_discrete_valuations_in_sage' of git://trac.sagemath.org/sage into t/21869/a_framework_for_discrete_valuations_in_sage
|
comment:165 Changed 5 years ago by
- Commit changed from 2d1cb90b3deffd9210a9d6366cdf8666c38acbdc to 282c95ea845009b91e5db57e9b6f76de562f64ab
Branch pushed to git repo; I updated commit sha1. New commits:
282c95e | Remove "not slopes"
|
comment:166 Changed 5 years ago by
- Work issues changed from 7 failing doctests, check docbuild output for broken links to 7 failing doctests, check docbuild output for broken links, check _richcmp_ implementations
comment:168 Changed 5 years ago by
- Commit changed from 282c95ea845009b91e5db57e9b6f76de562f64ab to ad9adb1ab69e0bec23ce6a87a4f6f106e85b78f1
comment:169 Changed 5 years ago by
- Commit changed from ad9adb1ab69e0bec23ce6a87a4f6f106e85b78f1 to 7660eab0134f488f18572d2b4a2a856d43641f33
Branch pushed to git repo; I updated commit sha1. New commits:
28fbf35 | Check that extensions are computed correctly in towers of number fields
|
101502e | Merge branch 'develop' into t/21869/a_framework_for_discrete_valuations_in_sage
|
1221125 | remove TABs
|
7660eab | Mapped valuations should know whether they are discrete
|
comment:170 Changed 5 years ago by
- Dependencies changed from #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483, #23510, #23525 to #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483, #23510, #23525, #23620
comment:171 Changed 5 years ago by
- Commit changed from 7660eab0134f488f18572d2b4a2a856d43641f33 to 51f7ed09ea118b0d05c6bc124c159b321c89a90c
comment:172 Changed 5 years ago by
- Dependencies changed from #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483, #23510, #23525, #23620 to #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483, #23510, #23525, #23620, #23642
comment:173 Changed 5 years ago by
- Commit changed from 51f7ed09ea118b0d05c6bc124c159b321c89a90c to 7c915f1213eb08f9b5bb487b2d21b1755ff2fff4
Branch pushed to git repo; I updated commit sha1. New commits:
7c915f1 | Merge branch 'develop' into t/21869/a_framework_for_discrete_valuations_in_sage
|
comment:174 Changed 5 years ago by
- Status changed from needs_review to needs_work
comment:175 Changed 5 years ago by
- Commit changed from 7c915f1213eb08f9b5bb487b2d21b1755ff2fff4 to 29feccb3d72a85cd739d09faa621d4690798ad7d
Branch pushed to git repo; I updated commit sha1. New commits:
82338dc | Fix factorization over fraction fields that are isomorphic to function fields
|
64e6546 | Merge branch 'develop' into t/23642/factorization_over_some_quotient_rings_incorrect
|
f6dd0cd | Better isomorphisms between fraction fields and function fields
|
38f18b8 | minor docstring change
|
8bfe326 | Merge branch 'develop' into t/23660/better_isomorphisms_between_function_fields_and_fraction_fields
|
746eac0 | fix docstring
|
4bddab1 | Merge branch 't/23660/better_isomorphisms_between_function_fields_and_fraction_fields' into t/23642/factorization_over_some_quotient_rings_incorrect
|
29feccb | Merge branch 't/23642/factorization_over_some_quotient_rings_incorrect' into t/21869/a_framework_for_discrete_valuations_in_sage
|
comment:176 Changed 5 years ago by
- Commit changed from 29feccb3d72a85cd739d09faa621d4690798ad7d to b3c8ac3730edd5b5977fbaa93c1cca1096df6dda
Branch pushed to git repo; I updated commit sha1. Last 10 new commits:
7e62f70 | Fixing errors in the coercion to the fraction field for fixed-mod p-adics
|
1a4333a | Merge branch 't/13591/add_bigoh' into t/23510/fixed_mod_frac_field
|
cdeb376 | Merge branch 't/13591/add_bigoh' into t/23510/fixed_mod_frac_field
|
cb882fd | Update add_bigoh to account for fixed-mod having a fraction field
|
a826978 | Fix _tester_add_bigoh
|
883e6b5 | Fix doctest in local_generic_element.pyx
|
52cbd2a | Merge branch 'u/roed/fixed_mod_frac_field' of git://trac.sagemath.org/sage into t/23510/fixed_mod_frac_field
|
bc59ffa | Merge branch 't/14825/polynomial_representation_of_a_padic_number' into t/23510/fixed_mod_frac_field
|
3292259 | Merge branch 'u/saraedum/fixed_mod_frac_field' of git://trac.sagemath.org/sage into t/23510/fixed_mod_frac_field
|
b3c8ac3 | Merge branch 't/23510/fixed_mod_frac_field' into t/21869/a_framework_for_discrete_valuations_in_sage
|
comment:177 Changed 5 years ago by
- Commit changed from b3c8ac3730edd5b5977fbaa93c1cca1096df6dda to 608c5c3dda3ae4560bc0e88eeb440233ab5aa4bc
Branch pushed to git repo; I updated commit sha1. New commits:
608c5c3 | Use names for richcmp operators
|
comment:178 Changed 5 years ago by
- Work issues changed from 7 failing doctests, check docbuild output for broken links, check _richcmp_ implementations to 7 failing doctests, check docbuild output for broken links
David: I made a trivial change. I don't think it needs review.
comment:179 Changed 5 years ago by
Yeah, that change seems fine.
comment:180 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 7 failing doctests, check docbuild output for broken links to 25 failing doctests, check docbuild output for broken links
comment:181 Changed 5 years ago by
- Commit changed from 608c5c3dda3ae4560bc0e88eeb440233ab5aa4bc to a63c1ffa21e57a3db4866793fee42740e01f0fbf
Branch pushed to git repo; I updated commit sha1. New commits:
b81b722 | Remove use of depraceted list()
|
2904b76 | Merge branch 't/14825/polynomial_representation_of_a_padic_number' into t/21869/a_framework_for_discrete_valuations_in_sage
|
5739955 | Base change factorization to the right parent
|
c17adf7 | Merge branch 'u/saraedum/factorization_over_some_quotient_rings_incorrect' of git://trac.sagemath.org/sage into t/23642/factorization_over_some_quotient_rings_incorrect
|
a63c1ff | Merge branch 't/23642/factorization_over_some_quotient_rings_incorrect' into t/21869/a_framework_for_discrete_valuations_in_sage
|
comment:182 Changed 5 years ago by
- Commit changed from a63c1ffa21e57a3db4866793fee42740e01f0fbf to 226518c0b8e1b01e9f047cb42d5420556d01f7e6
Branch pushed to git repo; I updated commit sha1. New commits:
28b36f8 | Fix ScaleAction
|
b6c62d0 | Fix doctests
|
99b3ab2 | Merge branch 't/23642/factorization_over_some_quotient_rings_incorrect' into t/21869/a_framework_for_discrete_valuations_in_sage
|
dad02c7 | Merge branch 'u/saraedum/fixed_mod_frac_field' of git://trac.sagemath.org/sage into t/23510/fixed_mod_frac_field
|
189ac2b | Add _test_fraction_field to the coercion tutorial
|
9ecff79 | Merge branch 't/23510/fixed_mod_frac_field' into t/21869/a_framework_for_discrete_valuations_in_sage
|
226518c | Merge remote-tracking branch 'trac/develop' into t/21869/a_framework_for_discrete_valuations_in_sage
|
comment:183 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 25 failing doctests, check docbuild output for broken links to 17 failing doctests, check docbuild output for broken links
comment:184 Changed 5 years ago by
- Commit changed from 226518c0b8e1b01e9f047cb42d5420556d01f7e6 to 271f6ec79d1dd5e700816a0a43dd3ed3751ecf92
Branch pushed to git repo; I updated commit sha1. New commits:
271f6ec | Use a more specialized class for non-classical discrete valuations on function fields
|
comment:185 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 17 failing doctests, check docbuild output for broken links to 16 failing doctests, check docbuild output for broken links
New commits:
271f6ec | Use a more specialized class for non-classical discrete valuations on function fields
|
comment:186 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 16 failing doctests, check docbuild output for broken links to 10 failing doctests, check docbuild output for broken links
comment:187 Changed 5 years ago by
- Commit changed from 271f6ec79d1dd5e700816a0a43dd3ed3751ecf92 to 20868e9de4fbaa180a0581f1552c02e199ee4b49
comment:188 Changed 5 years ago by
- Work issues changed from 10 failing doctests, check docbuild output for broken links to 9 failing doctests, check docbuild output for broken links
comment:189 Changed 5 years ago by
- Description modified (diff)
comment:190 Changed 5 years ago by
- Commit changed from 20868e9de4fbaa180a0581f1552c02e199ee4b49 to 27351d9440667c18e64c5baa7e26c26e24e07918
Branch pushed to git repo; I updated commit sha1. New commits:
27351d9 | Bring back equivalence_decompositions into local rings
|
comment:191 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 9 failing doctests, check docbuild output for broken links to 8 failing doctests, check docbuild output for broken links
New commits:
27351d9 | Bring back equivalence_decompositions into local rings
|
comment:192 Changed 5 years ago by
- Dependencies changed from #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483, #23510, #23525, #23620, #23642 to #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483, #23510, #23525, #23620, #23642, #23965
comment:193 Changed 5 years ago by
- Commit changed from 27351d9440667c18e64c5baa7e26c26e24e07918 to 76df6901142e9484c6969d3b4d5afeed81482982
comment:194 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 8 failing doctests, check docbuild output for broken links to 7 failing doctests, check docbuild output for broken links
New commits:
55b33e4 | Coercions to the fraction field are injective
|
ac081b0 | Merge branch 't/23965/coercion_to_fraction_field_is_injective' into t/21869/a_framework_for_discrete_valuations_in_sage
|
76df690 | Fill in doctest output
|
New commits:
55b33e4 | Coercions to the fraction field are injective
|
ac081b0 | Merge branch 't/23965/coercion_to_fraction_field_is_injective' into t/21869/a_framework_for_discrete_valuations_in_sage
|
76df690 | Fill in doctest output
|
comment:195 Changed 5 years ago by
- Dependencies changed from #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483, #23510, #23525, #23620, #23642, #23965 to #21782, #23166, #23167, #21879, #23185, #23203, #23204, #23211, #23188, #21879, #23186, #23191, #21996, #23190, #23495, #23483, #23510, #23525, #23620, #23642, #23965, #23966
comment:196 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 7 failing doctests, check docbuild output for broken links to 6 failing doctests, check docbuild output for broken links
comment:197 Changed 5 years ago by
- Commit changed from 76df6901142e9484c6969d3b4d5afeed81482982 to c7ac63228cc88d0e03b4cc87ed89bb5db8a16344
comment:198 Changed 5 years ago by
- Commit changed from c7ac63228cc88d0e03b4cc87ed89bb5db8a16344 to d9b94870dad0e5079a6eef07533af6514cdc0ca4
comment:199 Changed 5 years ago by
- Commit changed from d9b94870dad0e5079a6eef07533af6514cdc0ca4 to 6c5c12b4e18253522eb6ea52f106f7601de27b0e
Branch pushed to git repo; I updated commit sha1. New commits:
6c5c12b | fill in doctest output
|
comment:200 Changed 5 years ago by
- Commit changed from 6c5c12b4e18253522eb6ea52f106f7601de27b0e to 41277b3f9070fe51be20cdc05f15f4c852e12205
Branch pushed to git repo; I updated commit sha1. New commits:
41277b3 | Fix factorization doctests
|
comment:201 Changed 5 years ago by
- Description modified (diff)
- Work issues changed from 6 failing doctests, check docbuild output for broken links to 1 failing doctest, check docbuild output for broken links
comment:202 Changed 5 years ago by
- Commit changed from 41277b3f9070fe51be20cdc05f15f4c852e12205 to 09b64022a765aa6116f10aaf846f410a074d4821
Branch pushed to git repo; I updated commit sha1. New commits:
09b6402 | stable factorization output
|
comment:203 Changed 5 years ago by
- Commit changed from 09b64022a765aa6116f10aaf846f410a074d4821 to dfad6f47d2e8edf2e7cb694f29cc0c4316a4dc1c
Branch pushed to git repo; I updated commit sha1. New commits:
dfad6f4 | Fix valuation.lift(report_coefficients=True)
|
comment:204 Changed 5 years ago by
- Description modified (diff)
- Status changed from needs_work to needs_review
- Work issues changed from 1 failing doctest, check docbuild output for broken links to check docbuild output for broken links
comment:205 Changed 5 years ago by
- Commit changed from dfad6f47d2e8edf2e7cb694f29cc0c4316a4dc1c to 8767fdc5d81f83172e6daac6fd1aa143fa7cb41c
Branch pushed to git repo; I updated commit sha1. New commits:
8767fdc | fix docbuild
|
comment:206 Changed 5 years ago by
- Commit changed from 8767fdc5d81f83172e6daac6fd1aa143fa7cb41c to ecfe1bc9d6b021d0066269a9c21d7022e9e28e97
Branch pushed to git repo; I updated commit sha1. New commits:
ecfe1bc | fix doc references
|
comment:207 Changed 5 years ago by
- Work issues check docbuild output for broken links deleted
comment:208 Changed 5 years ago by
- Commit changed from ecfe1bc9d6b021d0066269a9c21d7022e9e28e97 to 775e093eb3076c1ebf44bd2867340605700c2a35
Branch pushed to git repo; I updated commit sha1. New commits:
775e093 | Remove Python2 code from valuations
|
comment:209 Changed 5 years ago by
- Description modified (diff)
- Status changed from needs_review to needs_work
- Work issues set to 55 failing long doctests
New commits:
775e093 | Remove Python2 code from valuations
|
comment:210 Changed 5 years ago by
- Description modified (diff)
Last 10 new commits:
fix typo in comment
Added a tutorial in the README
move to subdirectory for merging with sage tree
removing gitignore for merge with sage tree
Merge mac_lane infrastructure for discrete valuations into sage
remove mac_lane LICENSE
remove obsolete TODOs
remove monkey patches
move valuation code to valuation/
remove specific valuation code out of valuation/