JuliaPolyhedra / Polyhedra.jl

Polyhedral Computation Interface
Other
172 stars 27 forks source link

Update link to faq #286

Open blegat opened 2 years ago

blegat commented 2 years ago

@dimpase Is the link https://cddlib.github.io/polyhedral_faq/#x1-250002.22 expected to change ? The tag #x1-250002.22 seems fragile

codecov[bot] commented 2 years ago

Codecov Report

Merging #286 (c594607) into master (4e8b28c) will increase coverage by 0.60%. The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #286      +/-   ##
==========================================
+ Coverage   88.35%   88.96%   +0.60%     
==========================================
  Files          37       37              
  Lines        2912     3036     +124     
==========================================
+ Hits         2573     2701     +128     
+ Misses        339      335       -4     
Impacted Files Coverage Δ
src/repop.jl 93.75% <ø> (+0.31%) :arrow_up:
src/lphrep.jl 90.29% <0.00%> (-0.14%) :arrow_down:
src/vecrep.jl 100.00% <0.00%> (ø)
src/triangulation.jl 100.00% <0.00%> (ø)
src/interval.jl 99.21% <0.00%> (+0.01%) :arrow_up:
src/iterators.jl 99.23% <0.00%> (+0.03%) :arrow_up:
src/liftedrep.jl 98.59% <0.00%> (+0.04%) :arrow_up:
src/show.jl 98.52% <0.00%> (+0.06%) :arrow_up:
src/default.jl 86.66% <0.00%> (+0.09%) :arrow_up:
src/projection.jl 91.07% <0.00%> (+0.16%) :arrow_up:
... and 17 more

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 4e8b28c...c594607. Read the comment docs.

dimpase commented 2 years ago

I think one needs to create a proper LaTeX label, it would allow for a robust link.

dimpase commented 2 years ago

you are welcome to do a PR on cddlib/polyhedral_faq GH repo to create such a tag.

dimpase commented 2 years ago

OK, I think it's a bit more complicated. To achieve this (using LaTeX labels for html tags) one needs something like make4ht filter.