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

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/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/IntegerProgramming.m2:555:0.