Macaulay2 » Documentation
Packages » IntegerProgramming » IsInStandardForm
next | previous | forward | backward | up | index | toc

# IsInStandardForm -- specify whether the integer program is in standard form

## Description

An optional method for solveILP to specify whether a program is in standard form. The default value is true. If IsInStandardForm=>false, we first convert to standard form before solving.

The following example is in [CLO, Chapter 8, Section 1]. Note that in contrast to solveILP with IsInStandardForm=>true, the output involves only variables that are in the specified program, meaning that the slack variables, that get introduced to convert to standard form, are omitted in the following output.

    i1 : A = matrix{{4, 5}, {2, 3}}

    o1 = | 4 5 |
         | 2 3 |

                  2       2
    o1 : Matrix ZZ  <-- ZZ

    i2 : b = matrix{{37}, {20}}

    o2 = | 37 |
         | 20 |

                  2       1
    o2 : Matrix ZZ  <-- ZZ

    i3 : c = matrix{{-11, -15}}

    o3 = | -11 -15 |

                  1       2
    o3 : Matrix ZZ  <-- ZZ

    i4 : solveILP(A, b, c, IsInStandardForm=>false)

    o4 = | 4 |
         | 4 |

                  2       1
    o4 : Matrix ZZ  <-- ZZ

## See also

- solveILP -- solve an integer linear program in standard form
- toStandardForm -- converts an LP to standard form

## Functions with optional argument named IsInStandardForm:

- `solveILP(...,IsInStandardForm=>...)`

## For the programmer

The object IsInStandardForm is a symbol.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/IntegerProgramming.m2:555:0.