Skip to content

Implement dual subdivision and weight vectors for tropical variety #15204

Implement dual subdivision and weight vectors for tropical variety

Implement dual subdivision and weight vectors for tropical variety #15204

Triggered via pull request September 8, 2024 06:21
Status Failure
Total duration 32m 1s
Artifacts 2

build.yml

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

Annotations

3 errors and 1 warning
Failed example:: src/sage/rings/semirings/tropical_variety.py#L592
Failed example:: Got: ({0: ((u1, u3 - 7/3, u3 - 10/3, u3), {u1 <= u3 - 22/3}), 1: ((u2 - 4, u2 + 1, u2, u3), {u2 <= u3 - 10/3}), 2: ((2*u1 - u3 - 2/3, u3 - 7/3, u1, u3), {u3 - 10/3 <= u1}), 3: ((u3 - 22/3, u2, u3 - 10/3, u3), {u3 - 7/3 <= u2})}, {0: [(0, -1, -1, 2), (0, -1, 2, -1), (0, 2, -1, -1)], 1: [(2, -1, -1, 0), (-3, 3, 0, 0), (1, -2, 1, 0)], 2: [(1, -5, -2, 6), (-2, -1, 4, -1), (1, 6, -2, -5)], 3: [(1, 0, 1, -2), (2, 0, -1, -1), (-3, 0, 0, 3)]})
test-new
Process completed with exit code 1.
coverage-report
Process completed with exit code 1.
coverage-report
Codecov: Failed to properly upload report: The process '/home/runner/work/_actions/codecov/codecov-action/v4/dist/codecov' failed with exit code 1

Artifacts

Produced during runtime
Name Size
sagemath~sage~C3C5WG.dockerbuild
121 KB
sagemath~sage~TBYJH3.dockerbuild
118 KB