Keep domains on simplify ("x/x" becomes "1 provided not x = 0"), fix 0/0 = 0 (now becomes undefined), fixed arcotanh and gamma definitions #936
Happypig375Annotations
21 errors and 1 warning
|
AngouriMath.Tests.Calculus.SeriesTest.MultivariableTaylorDirect(funcOverTRaw: "a t3 + b s2 + c u + d":
Sources/Tests/UnitTests/Calculus/SeriesTest.cs#L44
Expected: ((d) + ((c) * (z))) + (((((2) * (b)) * ((y) ^ (2))) / ((2)!)) + ((((6) * (a)) * ((x) ^ (3))) / ((3)!)))
Actual: ((d provided (((not ((x) = (0))) and (not ((y) = (0)))) and (not ((z) = (0)))) and (not ((w) = (0)))) + ((c) * (z) provided ((((not ((y) = (0))) and (not ((z) = (0)))) and (not ((w) = (0)))) and (((not ((x) = (0))) and (not ((z) = (0)))) and (not ((w) = (0))))) and ((((not ((x) = (0))) and (not ((y) = (0)))) and (not ((w) = (0)))) and (((not ((x) = (0))) and (not ((y) = (0)))) and (not ((z) = (0))))))) + (((((2) * (b)) * ((y) ^ (2)) provided (((((not ((y) = (0))) and (not ((z) = (0)))) and (not ((w) = (0)))) and ((not ((z) = (0))) and (not ((w) = (0))))) and (((not ((y) = (0))) and (not ((w) = (0)))) and (((not ((y) = (0))) and (not ((z) = (0)))) and (((not ((x) = (0))) and (not ((z) = (0)))) and (not ((w) = (0))))))) and ((((not ((x) = (0))) and (not ((w) = (0)))) and ((not ((x) = (0))) and (not ((z) = (0))))) and ((((not ((x) = (0))) and (not ((y) = (0)))) and (not ((w) = (0)))) and (((not ((x) = (0))) and (not ((y) = (0)))) and (((not ((x) = (0))) and (not ((y) = (0)))) and (not ((z) = (0)))))))) / ((2)!)) + ((((6) * (a)) * ((x) ^ (3)) provided ((((((not ((y) = (0))) and (not ((z) = (0)))) and (not ((w) = (0)))) and ((not ((z) = (0))) and (not ((w) = (0))))) and (((not ((y) = (0))) and (not ((w) = (0)))) and (((not ((y) = (0))) and (not ((z) = (0)))) and ((not ((z) = (0))) and (not ((w) = (0))))))) and (((not ((w) = (0))) and (not ((z) = (0)))) and (((not ((y) = (0))) and (not ((w) = (0)))) and ((not ((y) = (0))) and ((not ((y) = (0))) and (not ((z) = (0)))))))) and ((((((not ((x) = (0))) and (not ((z) = (0)))) and (not ((w) = (0)))) and ((not ((x) = (0))) and (not ((w) = (0))))) and (((not ((x) = (0))) and (not ((z) = (0)))) and (((not ((x) = (0))) and (not ((w) = (0)))) and (not ((x) = (0)))))) and ((((not ((x) = (0))) and (not ((z) = (0)))) and (((not ((x) = (0))) and (not ((y) = (0)))) and (not ((w) = (0))))) and (((not ((x) = (0))) and (not ((y) = (0)))) and (((not ((x) = (0))) and (not ((y) = (0)))) and (((not ((x) = (0))) and (not ((y) = (0)))) and (not ((z) = (0))))))))) / ((3)!)))
Expected: True
Actual: False
|
|
AngouriMath.Tests.Calculus.SeriesTest.CheckMultivariableCorrectness(point: [3:
Sources/Tests/UnitTests/Calculus/SeriesTest.cs#L98
Error is: NaN
Expected: True
Actual: False
|
|
AngouriMath.Tests.Calculus.SeriesTest.TaylorDirect(funcOverTRaw: "tan(t)":
Sources/Tests/UnitTests/Calculus/SeriesTest.cs#L26
Assert.Equal() Failure
Expected: 0 + x + 0 + 2 * x ^ 3 / 3! + 0 + 16 * x ^ 5 / 5!
Actual: (0 provided not x = 0) + x + (0 provided not x = 0 or 2 > 0) / 2! + 2 * x ^ 3 / 3! + (0 provided not x = 0 or 4 > 0) / 4! + 16 * x ^ 5 / 5!
|
|
AngouriMath.Tests.Calculus.SeriesTest.TaylorDirect(funcOverTRaw: "sin(t)":
Sources/Tests/UnitTests/Calculus/SeriesTest.cs#L26
Assert.Equal() Failure
Expected: 0 + x + 0 + -x ^ 3 / 3! + 0 + x ^ 5 / 5! + 0 + -x ^ 7 / 7! + 0 + x ^ 9 / 9!
Actual: (0 provided not x = 0) + x + (0 provided not x = 0 or 2 > 0) / 2! + -x ^ 3 / 3! + (0 provided not x = 0 or 4 > 0) / 4! + x ^ 5 / 5! + (0 provided not x = 0 or 6 > 0) / 6! + -x ^ 7 / 7! + (0 provided not x = 0 or 8 > 0) / 8! + x ^ 9 / 9!
|
|
AngouriMath.Tests.Calculus.SeriesTest.TaylorDirect(funcOverTRaw: "a t3 + b t2 + c t + d":
Sources/Tests/UnitTests/Calculus/SeriesTest.cs#L26
Assert.Equal() Failure
Expected: d + c * x + 2 * b * x ^ 2 / 2! + 6 * a * x ^ 3 / 3!
Actual: (d provided not x = 0) + c * x + 2 * b * x ^ 2 / 2! + 6 * a * x ^ 3 / 3!
|
|
AngouriMath.Tests.Calculus.SeriesTest.TaylorDirect(funcOverTRaw: "cotan(1 - t)":
Sources/Tests/UnitTests/Calculus/SeriesTest.cs#L26
Assert.Equal() Failure
Expected: cotan(1) + (-1) / sin(1) ^ 2 * (-1) * x + -2 * sin(1) * cos(1) * (-1) * (-1) / sin(1) ^ 2 ^ 2 * (-1) * x ^ 2 / 2!
Actual: (cotan(1) provided not x = 0) + (-1) / sin(1) ^ 2 * (-1) * x + -2 * sin(1) * cos(1) * (-1) * (-1) / sin(1) ^ 2 ^ 2 * (-1) * x ^ 2 / 2!
|
|
AngouriMath.Tests.Calculus.SeriesTest.TaylorDirect(funcOverTRaw: "cos(t)":
Sources/Tests/UnitTests/Calculus/SeriesTest.cs#L26
Assert.Equal() Failure
Expected: 1 + 0 + -x ^ 2 / 2! + 0 + x ^ 4 / 4! + 0 + -x ^ 6 / 6! + 0 + x ^ 8 / 8! + 0
Actual: (1 provided not x = 0) + 0 + -x ^ 2 / 2! + (0 provided not x = 0 or 3 > 0) / 3! + x ^ 4 / 4! + (0 provided not x = 0 or 5 > 0) / 5! + -x ^ 6 / 6! + (0 provided not x = 0 or 7 > 0) / 7! + x ^ 8 / 8! + (0 provided not x = 0 or 9 > 0) / 9!
|
|
AngouriMath.Tests.Common.InnerSimplifyTest.PiecewiseDerivative2NodeInnerSimplified:
Sources/Tests/UnitTests/Common/InnerSimplifyTest.cs#L219
Expected: (0 if a, 0 if True)
Actual: (0 if a, 0 provided not (((x) ^ (2)) = (0)) if True)
Expected: True
Actual: False
|
|
AngouriMath.Tests.Common.InnerSimplifyTest.PiecewiseDerivative2:
Sources/Tests/UnitTests/Common/InnerSimplifyTest.cs#L163
Expected: (0 if a, 0 if True)
Actual: (0 if a, 0 provided not (((x) ^ (2)) = (0)) if True)
Expected: True
Actual: False
|
|
AngouriMath.Tests.Common.InnerSimplifyTest.PiecewiseDerivative2NodeEvaled:
Sources/Tests/UnitTests/Common/InnerSimplifyTest.cs#L191
Expected: (0 if a, 0 if True)
Actual: (0 if a, 0 provided not (((x) ^ (2)) = (0)) if True)
Expected: True
Actual: False
|
|
Test (ubuntu-latest)
The strategy configuration was canceled because "Test.macos-latest" failed
|
|
AngouriMath.Tests.Calculus.Limits.TestEquivalenceTableToInfinity(input: "(1 + a/(2x))^(b x + c x)":
Sources/Tests/UnitTests/Calculus/LimitTest.cs#L119
Assert.Equal() Failure
Expected: e ^ (a * (b + c) / 2)
Actual: 1
|
|
AngouriMath.Tests.Calculus.Limits.TestEquivalenceTableToInfinity(input: "(1 + a/x)^(b x)":
Sources/Tests/UnitTests/Calculus/LimitTest.cs#L119
Assert.Equal() Failure
Expected: e ^ (a * b)
Actual: 1
|
|
AngouriMath.Tests.Calculus.Limits.TestGeneral(exprRaw: "log(x ^ b:
Sources/Tests/UnitTests/Calculus/LimitTest.cs#L63
Assert.Equal() Failure
Expected: a / b
Actual: limit(log(x ^ b, x ^ a), x, +oo)
|
|
AngouriMath.Tests.Algebra.SolveOneEquation.TestExponentialSolver(equation: "e^x + (e2)^x - 1":
Sources/Tests/UnitTests/Algebra/SolveTest/SolveOneEquation.cs#L234
Assert.Equal() Failure
Expected: 2
Actual: 0
|
|
AngouriMath.Tests.Algebra.SolveOneEquation.TestExponentialSolver(equation: "a^x + (a^2)^x - c":
Sources/Tests/UnitTests/Algebra/SolveTest/SolveOneEquation.cs#L234
Assert.Equal() Failure
Expected: 2
Actual: 0
|
|
AngouriMath.Tests.Calculus.SeriesTest.TaylorDirect(funcOverTRaw: "tan(t)":
Sources/Tests/UnitTests/Calculus/SeriesTest.cs#L26
Assert.Equal() Failure
Expected: 0 + x + 0 + 2 * x ^ 3 / 3! + 0 + 16 * x ^ 5 / 5!
Actual: (0 provided not x = 0) + x + (0 provided not x = 0 or 2 > 0) / 2! + 2 * x ^ 3 / 3! + (0 provided not x = 0 or 4 > 0) / 4! + 16 * x ^ 5 / 5!
|
|
AngouriMath.Tests.Calculus.SeriesTest.TaylorDirect(funcOverTRaw: "sin(t)":
Sources/Tests/UnitTests/Calculus/SeriesTest.cs#L26
Assert.Equal() Failure
Expected: 0 + x + 0 + -x ^ 3 / 3! + 0 + x ^ 5 / 5! + 0 + -x ^ 7 / 7! + 0 + x ^ 9 / 9!
Actual: (0 provided not x = 0) + x + (0 provided not x = 0 or 2 > 0) / 2! + -x ^ 3 / 3! + (0 provided not x = 0 or 4 > 0) / 4! + x ^ 5 / 5! + (0 provided not x = 0 or 6 > 0) / 6! + -x ^ 7 / 7! + (0 provided not x = 0 or 8 > 0) / 8! + x ^ 9 / 9!
|
|
AngouriMath.Tests.Calculus.SeriesTest.TaylorDirect(funcOverTRaw: "a t3 + b t2 + c t + d":
Sources/Tests/UnitTests/Calculus/SeriesTest.cs#L26
Assert.Equal() Failure
Expected: d + c * x + 2 * b * x ^ 2 / 2! + 6 * a * x ^ 3 / 3!
Actual: (d provided not x = 0) + c * x + 2 * b * x ^ 2 / 2! + 6 * a * x ^ 3 / 3!
|
|
AngouriMath.Tests.Calculus.SeriesTest.TaylorDirect(funcOverTRaw: "cotan(1 - t)":
Sources/Tests/UnitTests/Calculus/SeriesTest.cs#L26
Assert.Equal() Failure
Expected: cotan(1) + (-1) / sin(1) ^ 2 * (-1) * x + -2 * sin(1) * cos(1) * (-1) * (-1) / sin(1) ^ 2 ^ 2 * (-1) * x ^ 2 / 2!
Actual: (cotan(1) provided not x = 0) + (-1) / sin(1) ^ 2 * (-1) * x + -2 * sin(1) * cos(1) * (-1) * (-1) / sin(1) ^ 2 ^ 2 * (-1) * x ^ 2 / 2!
|
|
AngouriMath.Tests.Calculus.SeriesTest.TaylorDirect(funcOverTRaw: "cos(t)":
Sources/Tests/UnitTests/Calculus/SeriesTest.cs#L26
Assert.Equal() Failure
Expected: 1 + 0 + -x ^ 2 / 2! + 0 + x ^ 4 / 4! + 0 + -x ^ 6 / 6! + 0 + x ^ 8 / 8! + 0
Actual: (1 provided not x = 0) + 0 + -x ^ 2 / 2! + (0 provided not x = 0 or 3 > 0) / 3! + x ^ 4 / 4! + (0 provided not x = 0 or 5 > 0) / 5! + -x ^ 6 / 6! + (0 provided not x = 0 or 7 > 0) / 7! + x ^ 8 / 8! + (0 provided not x = 0 or 9 > 0) / 9!
|
|
Test (windows-latest)
Unexpected input(s) 'file', valid inputs are ['base_sha', 'binary', 'codecov_yml_path', 'commit_parent', 'directory', 'disable_file_fixes', 'disable_search', 'disable_safe_directory', 'disable_telem', 'dry_run', 'env_vars', 'exclude', 'fail_ci_if_error', 'files', 'flags', 'force', 'git_service', 'gcov_args', 'gcov_executable', 'gcov_ignore', 'gcov_include', 'handle_no_reports_found', 'job_code', 'name', 'network_filter', 'network_prefix', 'os', 'override_branch', 'override_build', 'override_build_url', 'override_commit', 'override_pr', 'plugins', 'recurse_submodules', 'report_code', 'report_type', 'root_dir', 'run_command', 'skip_validation', 'slug', 'swift_project', 'token', 'url', 'use_legacy_upload_endpoint', 'use_oidc', 'use_pypi', 'verbose', 'version', 'working-directory']
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
Report
Expired
|
327 KB |
sha256:704701842b1c3f9bc01a3ec634917b39f4d4ef34593bfba32901fe2e72d65add
|
|