1. Commenting
2. Using symbolic
3. Sets
4. Variables
5. Parameters
6. Expressions
7. Objective Functions
8. Constraints
9. Logical Statements
10. Looping Statements
11. Displaying and Printing
12. Miscellaneous AMPL Commands

Commenting

Examples

# The set of all possible ingredients for the cat food set INGREDIENTS; 

param Resin {SURFBOARDS} >= 0; # Amount of resin (in kilos) needed for a board param TotalResin >= 0; # Total amount of resin available 

Using =symbolic

The symbolic keyword is used to create parameters that represent character strings. Usually they are used to represent members of 1-dimensional sets or part of a tuple for multi-dimensional sets. However, they can also be used to represent file names or to automatically build labels (for entry in a set, for example).

Example. Searching a 1-Dimensional set

param gotcha symbolic within SET; for {s in SET} {   if  then     let gotcha := s; } # gotcha now contains the (last) element in SET that satisfies the condition 

Example. Searching a 2-Dimensional Set

set SET1; set SET2;  set TWO_D_SET within SET1 cross SET2;  param got_one symbolic within SET1; param got_two symbolic within SET2;  for {(s, t)  in TWO_D_SET} {   if  then {     let got_one := s;     let got_two := t;   } } # (got_one, got_two) now contains the (last) element in TWO_D_SET # that satisfies the condition 

To build labels for set elements you need a symbolic parameter and the parts of the label. You can then "glue" the parts of the label together by enclosing the label within ( and ) and joining the parts with &. The parts can be set elements, strings or numbers. Numbers are converted to strings using the =%g= format from =printf= .

Example. Dynamically Building a Set

param name symbolic;  let SUPPLY_NODES := {}; for {s in SUPPLY_LOCATIONS} {   let name := (s & '-Woodchips');   let SUPPLY_NODES := SUPPLY_NODES union {name};   let Supply[name] := MaterialSupply[s, 'Woodchips'];   let {d in DEMAND_NODES} Cost[name, d] := TransportationCost[s, d];   let dummyDemandCost[name] := DisposalCost['Woodchips']; } 

Sets in AMPL

Variables

Parameters

Expressions

Objective Function

Constraints

Logical Statements

Looping Statements

Displaying and Printing

Miscellaneous AMPL Commands

The AMPL Syntax Guide

Disclaimer This is a *guide* to the AMPL syntax only. For a comprehensive reference to the AMPL language see AMPL: A Modeling Language for Mathematical Programming.

1. Commenting
2. Using {\tt symbolic}
3. Sets
4. Variables
5. Parameters
6. Expressions
7. Objective Functions
8. Constraints
9. Logical Statements
10. Looping Statements
11. Displaying and Printing
12. Miscellaneous AMPL Commands

Commenting

The {\tt #} is used for commenting, any characters after the {\tt #} are ignored by AMPL.

Examples

\begin{verbatim} var x1 >= 0; # Percentage chicken meat used in 100g of cat food (= g) \end{verbatim}

The Surfboard Production Problem

\begin{verbatim} param Resin {SURFBOARDS} >= 0; # Amount of resin (in kilos) needed for a board param TotalResin >= 0; # Total amount of resin available \end{verbatim}

Using {\tt symbolic}

The {\tt symbolic} keyword is used to create parameters that represent character strings. Usually they are used to represent members of 1-dimensional sets or part of a tuple for multi-dimensional sets. However, they can also be used to represent file names or to automatically build labels (for entry in a set, for example).

Example. Searching a 1-Dimensional set

\begin{verbatim} param gotcha symbolic within SET; for {s in SET} { if then let gotcha := s; } # gotcha now contains the (last) element in SET that satisfies the condition \end{verbatim}

Example. Searching a 2-Dimensional Set

\begin{verbatim} set SET1; set SET2;

set TWO_D_SET within SET1 cross SET2;

param got_one symbolic within SET1; param got_two symbolic within SET2;

for {(s, t) in TWO_D_SET} { if then { let got_one := s; let got_two := t; } } # (got_one, got_two) now contains the (last) element in TWO_D_SET # that satisfies the condition \end{verbatim}

To build labels for set elements you need a {\tt symbolic} parameter and the parts of the label. You can then "glue" the parts of the label together by enclosing the label within {\tt (} and {\tt )} and joining the parts with {\tt &}. The parts can be set elements, strings or numbers. Numbers are converted to strings using the {\tt %g} format from {\tt printf}.

Example. Dynamically Building a Set

\begin{verbatim} param name symbolic;

let SUPPLY_NODES := {}; for {s in SUPPLY_LOCATIONS} { let name := (s & '-Woodchips'); let SUPPLY_NODES := SUPPLY_NODES union {name}; let Supply[name] := MaterialSupply[s, 'Woodchips']; let {d in DEMAND_NODES} Cost[name, d] := TransportationCost[s, d]; let dummyDemandCost[name] := DisposalCost['Woodchips']; } \end{verbatim}

Sets

Variables

Parameters

Expressions

Objective Function

Constraints

Logical Statements

Looping Statements

Displaying and Printing

Miscellaneous AMPL Commands

-- MichaelOSullivan - 27 Feb 2008