Skip to content

Fixed issue causing the quotient of vector subspaces to throw an exception when divisor is the zero space #19055

Fixed issue causing the quotient of vector subspaces to throw an exception when divisor is the zero space

Fixed issue causing the quotient of vector subspaces to throw an exception when divisor is the zero space #19055

Triggered via pull request March 3, 2025 07:30
Status Failure
Total duration 1h 16m 56s
Artifacts 10

build.yml

on: pull_request
Matrix: test-long
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 37 warnings
SignalError in doctesting framework: src/sage/rings/polynomial/plural.pyx#L1
sage: A.<x,y,z> = FreeAlgebra(QQ, 3) ## line 50 ## sage: P.<x,y,z> = A.g_algebra(relations={y*x:-x*y}, order = 'lex') ## line 51 ## sage: P ## line 53 ## Noncommutative Multivariate Polynomial Ring in x, y, z over Rational Field, nc-relations: {y*x: -x*y} sage: y*x + 1/2 ## line 56 ## -x*y + 1/2 sage: A.<x,y,z> = FreeAlgebra(GF(17), 3) ## line 59 ## sage: P.<x,y,z> = A.g_algebra(relations={y*x:-x*y}, order = 'lex') ## line 60 ## sage: P ## line 61 ## Noncommutative Multivariate Polynomial Ring in x, y, z over Finite Field of size 17, nc-relations: {y*x: -x*y} sage: y*x + 7 ## line 64 ## -x*y + 7 sage: from sage.matrix.constructor import Matrix ## line 71 ## sage: c = Matrix(3) ## line 72 ## sage: c[0,1] = -2 ## line 73 ## sage: c[0,2] = 1 ## line 74 ## sage: c[1,2] = 1 ## line 75 ## sage: d = Matrix(3) ## line 77 ## sage: d[0, 1] = 17 ## line 78 ## sage: P = QQ['x','y','z'] ## line 79 ## sage: c = c.change_ring(P) ## line 80 ## sage: d = d.change_ring(P) ## line 81 ## sage: from sage.rings.polynomial.plural import NCPolynomialRing_plural ## line 83 ## sage: R.<x,y,z> = NCPolynomialRing_plural(QQ, c = c, d = d, order=TermOrder('lex',3),category=Algebras(QQ)) ## line 84 ## sage: R ## line 85 ## Noncommutative Multivariate Polynomial Ring in x, y, z over Rational Field, nc-relations: {y*x: -2*x*y + 17} sage: R.term_order() ## line 88 ## Lexicographic term order sage: a,b,c = R.gens() ## line 91 ## sage: f = 57 * a^2*b + 43 * c + 1; f ## line 92 ## 57*x^2*y + 43*z + 1 sage: A.<x,y,z> = FreeAlgebra(QQ, 3) ## line 97 ## sage: P = A.g_algebra(relations={y*x:-x*y}, order = 'lex') ## line 98 ## sage: TestSuite(P).run() ## line 99 ## sage: loads(dumps(P)) is P ## line 100 ## True sage: A.<x,y,z> = FreeAlgebra(QQ, 3) ## line 103 ## sage: P = A.g_algebra(relations={y*x:-x*y}, order = 'lex') ## line 104 ## sage: P.is_commutative() ## line 105 ## False sage: R.<x,y,z> = FreeAlgebra(QQ, 3) ## line 108 ## sage: P = R.g_algebra(relations={}, order='lex') ## line 109 ## sage: P.is_commutative() ## line 110 ## True sage: sig_on_count() # check sig_on/off pairings (virtual doctest) ## line 112 ## 0 sage: A.<x,y,z> = FreeAlgebra(QQ, 3) ## line 156 ## sage: H = A.g_algebra({y*x:x*y-z, z*x:x*z+2*x, z*y:y*z-2*y}) ## line 157 ##
test-long (src/sage/[p-z]*)
Process completed with exit code 64.
test-new
The process '/usr/bin/git' failed with exit code 128
test-new
fatal: no submodule mapping found in .gitmodules for path 'subprojects/factory'
test-long (src/doc src/sage_docbuild src/sage_setup)
The process '/usr/bin/git' failed with exit code 128
test-long (src/sage/[g-o]*)
The process '/usr/bin/git' failed with exit code 128
test-long (src/sage/[p-z]*)
The process '/usr/bin/git' failed with exit code 128
test-long (src/sage/[a-f]*)
The process '/usr/bin/git' failed with exit code 128
coverage-report
The process '/usr/bin/git' failed with exit code 128

Artifacts

Produced during runtime
Name Size
coverage-src_doc--src_sage_docbuild--src_sage_setup
142 KB
coverage-src_sage_a-f
218 KB
coverage-src_sage_g-o
207 KB
coverage-src_sage_p-z
185 KB
sagemath~sage~1FAUCU.dockerbuild
105 KB
sagemath~sage~1N63T1.dockerbuild
97.4 KB
sagemath~sage~O38XQS.dockerbuild
98.2 KB
sagemath~sage~QJZLQ6.dockerbuild
98.3 KB
sagemath~sage~T4U8VE.dockerbuild
97 KB
sagemath~sage~WDZEKM.dockerbuild
111 KB