Sorry, I misunderstood and put the print in
rings/polynomial/groebner_fan.py and put the output of the test of the
changed function. I put now
print("ans = ", ans)
print('err = ', err)
in interfaces/gfan.py and got
ans = Q[x,y]
{{
x^2+1-y^2}
,
{
y^2-1-x^2}
}
err = Falling back on CddLib
Falling back on CddLib
El sábado, 17 de agosto de 2024 a las 14:23:55 UTC+2, Dima Pasechnik
escribió:
>
>
> On 17 August 2024 10:39:35 BST, Enrique Artal <[email protected]> wrote:
> >Sorry, with the spkg it is;
> >b'{\n(3,7,1),\n(5,1,2),\n(7,1,4),\n(5,1,4),\n(1,1,1),\n(1,4,8),\n(1,4,10)}\n'
> >
>
> >b'List of linked LP solvers:\n cddgmp\n cdd\n'
> >[(3, 7, 1), (5, 1, 2), (7, 1, 4), (5, 1, 4), (1, 1, 1), (1, 4, 8), (1, 4,
> >10)]
>
> That is, no runtime error raised for you?
> Or it comes later?
>
> >El sábado, 17 de agosto de 2024 a las 11:35:33 UTC+2, Enrique Artal
> >escribió:
> >
> >> For the test in line 967 in
> src/sage/rings/polynomial/groebner_basis.py,
> >> after adding print(ans, err) to weight_vectors it gives
> >> spkg: [(3, 7, 1), (5, 1, 2), (7, 1, 4), (5, 1, 4), (1, 1, 1), (1, 4,
> 8),
> >> (1, 4, 10)]
> >> system:
> b'{\n(3,7,1),\n(5,1,2),\n(7,1,4),\n(5,1,4),\n(1,1,1),\n(1,4,8),\n(1,4,10)}\n'
>
> >> b'List of linked LP solvers:\n SoPlexCddGmp\n cddgmp\n cdd\n'
> >> [(3, 7, 1), (5, 1, 2), (7, 1, 4), (5, 1, 4), (1, 1, 1), (1, 4, 8), (1,
> 4,
> >> 10)]
> >>
> >> El viernes, 16 de agosto de 2024 a las 22:58:22 UTC+2, Dima Pasechnik
> >> escribió:
> >>
> >>>
> >>>
> >>> On 16 August 2024 19:39:02 BST, Enrique Artal <[email protected]>
> >>> wrote:
> >>> >Reported: https://bugzilla.redhat.com/show_bug.cgi?id=2305344
> >>> >Already got a reply (and I do not know what to say):
> >>> >
> >>> >%%%%%%
> >>> >The only important difference between the Fedora 39 and 40 cddlib
> >>> package
> >>> >builds is the addition of this upstream commit:
> >>> >
> >>>
> https://github.com/cddlib/cddlib/commit/1210faf9ee9cf02e29fc67e11a8ea4e847c58ddd
>
> >>> >Does sagemath access cddlib from multiple threads and assume they
> will
> >>> >share data? %%%%%%
> >>> >
> >>> >El martes, 13 de agosto de 2024 a las 23:03:16 UTC+2,
> >>> [email protected]
> >>> >escribió:
> >>> >
> >>> >> I think it would be worth reporting it as a bug to Fedora.
> >>> >>
> >>> >> On Monday, August 12, 2024 at 9:26:18 AM UTC-7 [email protected]
> >>> wrote:
> >>> >>
> >>> >>> I had similar errors with system cddlib also in Fedora 40 and with
> a
> >>> >>> previous version, see https://github.com/sagemath/sage/pull/38358;
>
> >>> >>> forcing the installation of the package, it works. I do not know
> why.
> >>> >>>
> >>> >>> El lunes, 12 de agosto de 2024 a las 11:36:14 UTC+2,
> >>> [email protected]
> >>> >>> escribió:
> >>> >>>
> >>> >>>> On Fedora 40 I get
> >>> >>>>
> >>> >>>>
> >>> ----------------------------------------------------------------------
> >>> >>>> sage -t --long --warn-long 29.7
> >>> >>>> --random-seed=312965183184317696093439207698161157083
> >>> src/sage/rings/pol
> >>> >>>> ynomial/multi_polynomial_ideal.py # 1 doctest failed
> >>> >>>> sage -t --long --warn-long 29.7
> >>> >>>> --random-seed=312965183184317696093439207698161157083
> >>> src/sage/rings/pol
> >>> >>>> ynomial/groebner_fan.py # 47 doctests failed
> >>> >>>>
> >>> ----------------------------------------------------------------------
> >>> >>>> Those failures were already known in sage-10.4.rcx
> >>> >>>>
> >>> >>>> Doctesting 1 file.
> >>> >>>> sage -t --long --warn-long 29.7
> >>> >>>> --random-seed=312965183184317696093439207698161157083
> >>> src/sage/rings/pol
> >>> >>>> ynomial/multi_polynomial_ideal.py
> >>> >>>>
> >>> **********************************************************************
> >>> >>>> File "src/sage/rings/polynomial/multi_polynomial_ideal.py", line
> >>> 4181,
> >>> >>>> in sage.rings.polynomial.multi_po
> >>> >>>> lynomial_ideal.NCPolynomialIdeal.groebner_fan
> >>> >>>> Failed example:
> >>> >>>> g.reduced_groebner_bases()
> >>> >>>> Exception raised:
> >>> >>>> Traceback (most recent call last):
> >>> >>>> File
> >>> >>>>
> >>>
> "/home/jaap/sagemath/sage-10.5.beta2/src/sage/rings/polynomial/groebner_fan.py",
>
>
> >>>
> >>> >>>> line 1057, i
> >>> >>>> n reduced_groebner_bases
> >>> >>>> return self.__reduced_groebner_bases
> >>> >>>> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> >>> >>>> AttributeError: 'GroebnerFan' object has no attribute
> >>> >>>> '_GroebnerFan__reduced_groebner_bases'. Did yo
> >>> >>>> u mean: '_GroebnerFan__is_groebner_basis'?
> >>> >>>>
> >>> >>>> During handling of the above exception, another exception
> occurred:
> >>> >>>>
> >>> >>>> Traceback (most recent call last):
> >>> >>>> File
> >>> >>>>
> >>>
> "/home/jaap/sagemath/sage-10.5.beta2/src/sage/rings/polynomial/groebner_fan.py",
>
>
> >>>
> >>> >>>> line 1008, i
> >>> >>>> n _gfan_reduced_groebner_bases
> >>> >>>> return self.__gfan_reduced_groebner_bases
> >>> >>>> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> >>> >>>> AttributeError: 'GroebnerFan' object has no attribute
> >>> >>>> '_GroebnerFan__gfan_reduced_groebner_bases'
> >>> >>>>
> >>> >>>> During handling of the above exception, another exception
> occurred:
> >>> >>>>
> >>> >>>> Traceback (most recent call last):
> >>> >>>> File
> >>> >>>> "/home/jaap/sagemath/sage-10.5.beta2/src/sage/doctest/forker.py",
> >>> line 715,
> >>> >>>> in _run
> >>> >>>> self.compile_and_execute(example, compiler, test.globs)
> >>> >>>> File
> >>> >>>> "/home/jaap/sagemath/sage-10.5.beta2/src/sage/doctest/forker.py",
> >>> line
> >>> >>>> 1145, in compile_and_e
> >>> >>>> xecute
> >>> >>>> exec(compiled, globs)
> >>> >>>> File "<doctest
> >>> >>>>
> >>>
> sage.rings.polynomial.multi_polynomial_ideal.NCPolynomialIdeal.groebner_fan[3]>",
>
>
> >>>
> >>> >>>> l
> >>> >>>> ine 1, in <module>
> >>> >>>> g.reduced_groebner_bases()
> >>> >>>> File
> >>> >>>>
> >>>
> "/home/jaap/sagemath/sage-10.5.beta2/src/sage/rings/polynomial/groebner_fan.py",
>
>
> >>>
> >>> >>>> line 1059, i
> >>> >>>> n reduced_groebner_bases
> >>> >>>> G = self._gfan_reduced_groebner_bases()
> >>> >>>> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> >>> >>>> File
> >>> >>>>
> >>>
> "/home/jaap/sagemath/sage-10.5.beta2/src/sage/rings/polynomial/groebner_fan.py",
>
>
> >>>
> >>> >>>> line 1010, i
> >>> >>>> n _gfan_reduced_groebner_bases
> >>> >>>> B = self.gfan(cmd='bases')
> >>> >>>> ^^^^^^^^^^^^^^^^^^^^^^
> >>> >>>> File
> >>> >>>>
> >>>
> "/home/jaap/sagemath/sage-10.5.beta2/src/sage/rings/polynomial/groebner_fan.py",
>
>
> >>>
> >>> >>>> line 1132, i
> >>> >>>> n gfan
> >>> >>>> s = gfan(I, cmd, verbose=self.__verbose)
> >>> >>>> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> >>> >>>> File
> >>> >>>>
> "/home/jaap/sagemath/sage-10.5.beta2/src/sage/misc/decorators.py",
> >>> line
> >>> >>>> 656, in wrapper
> >>> >>>> return func(*args, **kwds)
> >>> >>>> ^^^^^^^^^^^^^^^^^^^
> >>> >>>> File
> >>> >>>>
> "/home/jaap/sagemath/sage-10.5.beta2/src/sage/interfaces/gfan.py",
> >>> line
> >>> >>>> 118, in __call__
> >>> >>>> raise RuntimeError(err)
> >>> >>>> RuntimeError: Falling back on CddLib
> >>> >>>> Falling back on CddLib
> >>>
> >>> line 113 in this file, before the error is caught,
> >>> is
> >>> ans, err = gfan_processes.communicate(input=input)
> >>>
> >>> What `ans` and `err` do you get while running this test?
> >>> (add a print and see, please)
> >>>
> >>>
> >>>
> >>>
> >>>
> >>>
> >>> >>>>
> >>> >>>>
> >>> **********************************************************************
> >>> >>>> 1 item had failures:
> >>> >>>> 1 of 5 in
> >>> >>>>
> >>>
> sage.rings.polynomial.multi_polynomial_ideal.NCPolynomialIdeal.groebner_fan
> >>> >>>> [986 tests, 1 failure, 3.74 s]
> >>> >>>>
> >>> ----------------------------------------------------------------------
> >>> >>>> sage -t --long --warn-long 29.7
> >>> >>>> --random-seed=312965183184317696093439207698161157083
> >>> src/sage/rings/pol
> >>> >>>> ynomial/multi_polynomial_ideal.py # 1 doctest failed
> >>> >>>>
> >>> ----------------------------------------------------------------------
> >>> >>>> Total time for all tests: 4.3 seconds
> >>> >>>> cpu time: 3.6 seconds
> >>> >>>> cumulative wall time: 3.7 seconds
> >>> >>>>
> >>> >>>>
> >>> >>>> Jaap
> >>> >>>>
> >>> >>>> On Sat, Aug 10, 2024 at 11:29 PM Volker Braun <[email protected]>
>
> >>> >>>> wrote:
> >>> >>>>
> >>> >>>>> As always, you can get the latest beta version from the
> "develop"
> >>> git
> >>> >>>>> branch. Alternatively, the self-contained source tarball is at
> >>> >>>>> http://www.sagemath.org/download-latest.html
> >>> >>>>>
> >>> >>>>>
> >>> >>>>> e042294b5ed (HEAD -> develop, tag: 10.5.beta2, github/develop)
> >>> Updated
> >>> >>>>> SageMath version to 10.5.beta2
> >>> >>>>> b178c10a740 (origin/develop) gh-38492: expose fplll enumeration
> >>> >>>>> routines in IntegralLattice
> >>> >>>>> 8587c1351b7 gh-38479: Choose special name to avoid '@c' by
> >>> singular's
> >>> >>>>> absFactorize
> >>> >>>>> 95a580db85e gh-38476: Include modular composition for polynomial
> >>> rings
> >>> >>>>> over finite fields
> >>> >>>>> cac6e29f1a8 gh-38470: `build/pkgs/furo`: Set lower bound
> >>> >>>>> 6522292ad72 gh-38466: introduce half-angle transformations
> >>> >>>>> 80ba1d5955c gh-38458: simplify conversion code in cubic Hecke
> >>> >>>>> 7c41ea58284 gh-38444: Moving ideal methods to category of rings
> >>> >>>>> b20628a403f gh-38442: `build/pkgs/gcc`: Update to 13.3
> >>> >>>>> a58fd635e62 gh-38433: Make # abs tol compare over the complex
> >>> numbers
> >>> >>>>> 896eee58941 gh-38432: fix memory leak in is_planar
> >>> >>>>> cee79e3abe2 gh-38414: Properly check dimension in curve
> constructor
> >>> >>>>> ce92b938f24 gh-38409: `xgcd` for multiple arguments
> >>> >>>>> d83f90cfafc gh-38395: get rid of some sage-eval in gap3-related
> >>> code
> >>> >>>>> f369f6576f5 gh-38347: support passing two base points to .log()
> for
> >>> >>>>> elliptic-curve points
> >>> >>>>> 8abb61cab64 gh-38331: use pkg-config to find msolve, otherwise
> try
> >>> to
> >>> >>>>> run it
> >>> >>>>> 66f679d6f29 gh-38330: Lattes to curve function code commits for
> >>> >>>>> enhancement #38329
> >>> >>>>> 8d9da51214c gh-38323: some fixes for ruff code C41 (about loops
> and
> >>> >>>>> iteration)
> >>> >>>>> 5be4da7b396 gh-38296: Deprecate `is_SchemeMorphism`,
> >>> >>>>> `is_SchemeTopologicalPoint`
> >>> >>>>> 095e6ee6579 gh-38273: Update the deprecation policy
> >>> >>>>> a1deb75ea13 gh-38185: Simplify doc build process by removing
> empty
> >>> >>>>> directories locally
> >>> >>>>> 27c9b02a90e gh-37372: Strength 2 Covering Array constructions
> >>> >>>>> 0f3477394fb (tag: 10.5.beta1) Updated SageMath version to
> >>> 10.5.beta1
> >>> >>>>>
> >>> >>>>> --
> >>> >>>>> You received this message because you are subscribed to the
> Google
> >>> >>>>> Groups "sage-release" group.
> >>> >>>>> To unsubscribe from this group and stop receiving emails from
> it,
> >>> send
> >>> >>>>> an email to [email protected].
> >>> >>>>> To view this discussion on the web visit
> >>> >>>>>
> >>>
> https://groups.google.com/d/msgid/sage-release/07e44a5e-b281-45b4-b225-f62bdde24f72n%40googlegroups.com
>
> >>> >>>>> <
> >>>
> https://groups.google.com/d/msgid/sage-release/07e44a5e-b281-45b4-b225-f62bdde24f72n%40googlegroups.com?utm_medium=email&utm_source=footer>
>
>
> >>>
> >>> >>>>> .
> >>> >>>>>
> >>> >>>>
> >>> >
> >>>
> >>
> >
>
--
You received this message because you are subscribed to the Google Groups
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-release/38d049f1-8531-432a-8dcf-895ed401cb18n%40googlegroups.com.
