https://bugs.documentfoundation.org/show_bug.cgi?id=159484

            Bug ID: 159484
           Summary: CoinMP Linear Solver finds solution to infeasable
                    model
           Product: LibreOffice
           Version: 7.6.4.1 release
          Hardware: All
                OS: All
            Status: UNCONFIRMED
          Severity: normal
          Priority: medium
         Component: Calc
          Assignee: [email protected]
          Reporter: [email protected]

Description:
I tried to use the solver on the following model:
1*x1 + 2*x2 <= 6
1*x1 + 2*x2 >= 8
optimize for maximum of x1 + x2

The LibreOffice Linear Solver correctly identifies the model as infeasible, the
LibreOffice CoinMP Linear Solver falsely finds the optimum x1=0 x2=3 which
violates the second inequality. I would like upload the document, but I can't
seem to figure out how to attach a file. 

Steps to Reproduce:
1. Create the following model:
1*x1 + 2*x2 <= 6
1*x1 + 2*x2 >= 8
optimize for maximum of x1 + x2

2. Use the solve with the LO Linear Solver -> model is infeasible (correct)
3. Use the solve with the LO CoinMP Linear Solver -> x1=0; x2=3 (incorrect)

Actual Results:
LO Linear Solver: model is infeasible (correct)
LO CoinMP Linear Solver: x1=0; x2=3 (incorrect)

Expected Results:
Both solvers should recognize the model as infeasible


Reproducible: Always


User Profile Reset: No

Additional Info:
Version: 7.6.4.1 (X86_64) / LibreOffice Community
Build ID: e19e193f88cd6c0525a17fb7a176ed8e6a3e2aa1
CPU threads: 8; OS: Linux 6.6; UI render: default; VCL: gtk3
Locale: en-US (en_US.UTF-8); UI: en-US
Flatpak
Calc: threaded

-- 
You are receiving this mail because:
You are the assignee for the bug.

Reply via email to