Skip to content

fix: added check for FriCAS version #39796

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
vbraun merged 4 commits into from
Apr 18, 2025

fix: changed the test for fricas version

9897efb
Select commit
Loading
Failed to load commit list.
Merged

fix: added check for FriCAS version #39796

fix: changed the test for fricas version
9897efb
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Apr 4, 2025 in 0s

15.78% of diff hit (target 89.90%)

View this Pull Request on Codecov

15.78% of diff hit (target 89.90%)

Annotations

Check warning on line 59 in src/sage/features/fricas.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/sage/features/fricas.py#L53-L59 

Added lines #L53 - L59 were not covered by tests

Check warning on line 85 in src/sage/features/fricas.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/sage/features/fricas.py#L83-L85 

Added lines #L83 - L85 were not covered by tests

Check warning on line 93 in src/sage/features/fricas.py

See this annotation in the file changed.

@codecov codecov / codecov/patch

src/sage/features/fricas.py#L88-L93 

Added lines #L88 - L93 were not covered by tests
View more details on Codecov