Document integer overflow bug in vector_space_dimension()

[kliem]

We document the following bug reported in #8586

sage: P.<x,y,z> = PolynomialRing(GF(32003),3)
sage: sage.rings.ideal.FieldIdeal(P).vector_space_dimension()
-1973539045 # 2^32 - (32003^3) % 2^32 == 1973539045

Component: commutative algebra

Keywords: sd109

Author: Jonathan Kliem

Branch/Commit: 76d3388

Reviewer: Matthias Koeppe

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

[kliem]

New commits:

a7e3ac5

document integer overflow bug

[kliem]

Branch: public/29746

[kliem]

Commit: a7e3ac5

[mkoeppe]

comment:2

Shouldn't there rather be a test for the correct result, marked # not tested - known bug

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

76d3388

show the correct result for the known bug

[sagetrac-git]

Changed commit from a7e3ac5 to 76d3388

[kliem]

comment:4

Replying to @mkoeppe:

Shouldn't there rather be a test for the correct result, marked # not tested - known bug

Ok.

Just # known bug works for me and this appears to be the common approach.

[mkoeppe]

Reviewer: Matthias Koeppe

[kliem]

comment:6

Thank you.

[vbraun]

Changed branch from public/29746 to 76d3388