search

homalg-project / CddInterface

Gap Interface to Cdd
https://homalg-project.github.io/CddInterface
Other
1 stars 5 forks source link

used ConvertJuliaToGAP instead of own cdd_prepare_gap_input #20

Closed mohamed-barakat closed 4 years ago

mohamed-barakat commented 4 years ago

The Julia.g? files will only be loaded when ToolsForHomalg is preloaded.

codecov-commenter commented 4 years ago

Codecov Report

Merging #20 into master will increase coverage by 0.43%. The diff coverage is n/a.

@@            Coverage Diff             @@
##           master      #20      +/-   ##
==========================================
+ Coverage   89.43%   89.86%   +0.43%     
==========================================
  Files           5        5              
  Lines         861      898      +37     
==========================================
+ Hits          770      807      +37     
  Misses         91       91
Impacted Files Coverage Δ
src/CddInterface.c 95.21% <0.00%> (-0.10%) :arrow_down:
gap/tools.gi 82.95% <0.00%> (+0.71%) :arrow_up:
gap/polyhedra.gi 89.21% <0.00%> (+1.02%) :arrow_up: