Skip to content

WithGiven* for monoidal Isomorphisms

Codecov / codecov/patch failed Nov 29, 2023 in 1s

63.17% of diff hit (target 80.89%)

View this Pull Request on Codecov

63.17% of diff hit (target 80.89%)

Annotations

Check warning on line 18 in CartesianCategories/gap/BraidedCartesianCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/BraidedCartesianCategoriesDerivedMethods.gi#L18 

Added line #L18 was not covered by tests

Check warning on line 30 in CartesianCategories/gap/BraidedCartesianCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/BraidedCartesianCategoriesDerivedMethods.gi#L30 

Added line #L30 was not covered by tests

Check warning on line 18 in CartesianCategories/gap/BraidedCocartesianCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/BraidedCocartesianCategoriesDerivedMethods.gi#L18 

Added line #L18 was not covered by tests

Check warning on line 30 in CartesianCategories/gap/BraidedCocartesianCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/BraidedCocartesianCategoriesDerivedMethods.gi#L30 

Added line #L30 was not covered by tests

Check warning on line 585 in CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L585 

Added line #L585 was not covered by tests

Check warning on line 589 in CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L588-L589 

Added lines #L588 - L589 were not covered by tests

Check warning on line 710 in CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L710 

Added line #L710 was not covered by tests

Check warning on line 714 in CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L713-L714 

Added lines #L713 - L714 were not covered by tests

Check warning on line 729 in CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L729 

Added line #L729 was not covered by tests

Check warning on line 733 in CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L732-L733 

Added lines #L732 - L733 were not covered by tests

Check warning on line 897 in CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L895-L897 

Added lines #L895 - L897 were not covered by tests

Check warning on line 899 in CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L899 

Added line #L899 was not covered by tests

Check warning on line 901 in CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCartesianClosedCategoriesDerivedMethods.gi#L901 

Added line #L901 was not covered by tests

Check warning on line 593 in CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L593 

Added line #L593 was not covered by tests

Check warning on line 597 in CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L596-L597 

Added lines #L596 - L597 were not covered by tests

Check warning on line 715 in CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L715 

Added line #L715 was not covered by tests

Check warning on line 719 in CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L718-L719 

Added lines #L718 - L719 were not covered by tests

Check warning on line 733 in CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L733 

Added line #L733 was not covered by tests

Check warning on line 737 in CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L736-L737 

Added lines #L736 - L737 were not covered by tests

Check warning on line 901 in CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L899-L901 

Added lines #L899 - L901 were not covered by tests

Check warning on line 903 in CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L903 

Added line #L903 was not covered by tests

Check warning on line 905 in CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

CartesianCategories/gap/SymmetricCocartesianCoclosedCategoriesDerivedMethods.gi#L905 

Added line #L905 was not covered by tests

Check warning on line 2897 in LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi#L2891-L2897 

Added lines #L2891 - L2897 were not covered by tests

Check warning on line 2901 in LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi#L2899-L2901 

Added lines #L2899 - L2901 were not covered by tests

Check warning on line 2905 in LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

LinearAlgebraForCAP/gap/precompiled_categories/MatrixCategoryPrecompiled.gi#L2903-L2905 

Added lines #L2903 - L2905 were not covered by tests
View more details on Codecov