Skip to content

issues Search Results · repo:blegat/SetProg.jl language:Julia

Filter by

6 results
 (48 ms)

6 results

inblegat/SetProg.jl (press backspace or delete to remove)

(CompatHelper is asleep here.) I tried to raise the version for Polyhedra (and also for DynamicPolynomials) but that results in an error when compiling the package: ERROR: LoadError: UndefVarError: `planar_contour` ...
  • schillic
  • Opened 
    on Jan 15
  • #42

DynamicPolynomials is now available in v0.6, and at least v0.5 is needed for use together with Symbolics in the latest version. Is it planned to add the support? There was #40, but it seems to be abandoned. ...
  • schillic
  • 1
  • Opened 
    on Aug 12, 2024
  • #41

https://github.com/blegat/SetProg.jl/blob/master/src/Sets/polynomials.jl#L48 convert{U} should be convert{V}. This should be covered by the tests.
  • blegat
  • 1
  • Opened 
    on Apr 6, 2021
  • #18

This issue is used to trigger TagBot; feel free to unsubscribe. If you haven t already, you should update your TagBot.yml to include issue comment triggers. Please see this post on Discourse for instructions ...
  • JuliaTagBot
  • 11
  • Opened 
    on Dec 2, 2020
  • #14

julia using SetProg julia P = HalfSpace([1, 1], 1) ∩ HalfSpace([-1, 0], 0) ∩ HalfSpace([0, -1], 0); julia using CSDP # Optimizer julia factory = with_optimizer(CSDP.Optimizer); julia model = Model(factory) ...
  • mforets
  • 6
  • Opened 
    on Sep 19, 2019
  • #5

@objective(model, Max, log(volume(S)))
  • blegat
  • Opened 
    on May 7, 2019
  • #2
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Press the
/
key to activate the search input again and adjust your query.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue search results · GitHub