trunk/doc/syntax.lyx

#LyX 2.1 created this file. For more info see http://www.lyx.org/
\lyxformat 474
\begin_document
\begin_header
\textclass book
\begin_preamble
\usepackage[bookmarks]{hyperref}
\usepackage{lmodern}
\end_preamble
\use_default_options false
\maintain_unincluded_children false
\language english
\language_package default
\inputencoding auto
\fontencoding global
\font_roman default
\font_sans default
\font_typewriter default
\font_math auto
\font_default_family default
\use_non_tex_fonts false
\font_sc false
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
\graphics default
\default_output_format default
\output_sync 0
\bibtex_command default
\index_command default
\paperfontsize default
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
\use_package amsmath 1
\use_package amssymb 1
\use_package cancel 1
\use_package esint 0
\use_package mathdots 0
\use_package mathtools 1
\use_package mhchem 0
\use_package stackrel 1
\use_package stmaryrd 1
\use_package undertilde 1
\cite_engine basic
\cite_engine_type default
\biblio_style plain
\use_bibtopic false
\use_indices false
\paperorientation portrait
\suppress_date false
\justification true
\use_refstyle 0
\index Index
\shortcut idx
\color #008000
\end_index
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
\paragraph_indentation default
\quotes_language english
\papercolumns 1
\papersides 1
\paperpagestyle default
\tracking_changes false
\output_changes false
\html_math_output 0
\html_css_as_file 0
\html_be_strict false
\end_header

\begin_body

\begin_layout Chapter
Syntax reference
\begin_inset CommandInset label
LatexCommand label
name "cha:ASCENDSyntax"

\end_inset


\end_layout

\begin_layout Standard
We shall present an informal description of the ASCEND IV language.
 Being informal, we shall usually include examples and descriptions of the
 intended semantics along with the syntax of the items.
 At times the inclusion of semantics will seem to anticipate later definitions.
 We do this because we would also like this chapter to be used as a reference
 for the ASCEND language even after one generally understands it.
 Often one will need to clarify a point about a particular item and will
 not wish to have to search in several places to do so.
\end_layout

\begin_layout Standard
Syntax
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
syntax
\end_layout

\end_inset

 is the form or structure for the statements in ASCEND, where one worries
 about the exact words one uses, their ordering, the punctuation, etc.
 Semantics
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
semantics
\end_layout

\end_inset

 describe the meaning of a statement.
\end_layout

\begin_layout Standard
To distinguish between syntax and semantics, consider the statement
\end_layout

\begin_layout LyX-Code
y IS_A fraction;
\end_layout

\begin_layout Standard
Rules on the syntax for this statement tell us we need a user supplied instance
 name, y, followed by the ASCEND operator IS_A, followed by a type name
 (fraction).
 The statement terminates with a semicolon.
 The statement semantics says we are declaring the existence of an instance,
 locally named y, of the type fraction as a part within the current model
 definition and it is to be constructed when an instance of the current
 model definition is constructed.
\end_layout

\begin_layout Standard
The syntax for a computer language is often defined by using a Bachus-Naur
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
Bachus-Naur
\end_layout

\end_inset

 formal (BNF
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
BNF
\end_layout

\end_inset

) description.
 The complete YACC
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
YACC
\end_layout

\end_inset

 and FLEX
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
FLEX
\end_layout

\end_inset

 description of the language described (as presently implemented) is available
 by FTP and via the World Wide Web.
 The semantics of a very high level modeling language such as ASCEND IV
 are generally much more restrictive than the syntax.
 For this reason we do not include a BNF description in this paper.
 ASCEND IV is an experiment.
 The language is under constant scrutiny and improvement, so this document
 is under constant revision.
 
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
\begin_inset space ~
\end_inset


\end_layout

\begin_deeper
\begin_layout Chapter
Preliminaries
\end_layout

\begin_layout Standard
We will start off with some background information and some tips that make
 the rest of the chapter easier to read.
 ASCEND is an object-oriented (OO) language for hierarchical modeling that
 has been somewhat specialized for mathematical models.
 Most of the specialization is in the implementation and the user interface
 rather than the language definition.
 
\end_layout

\begin_layout Standard
We feel the single most distinguishing feature of mathematical models is
 that solving them efficiently requires that the solving algorithms be able
 to address the entire problem either simultaneously or in a decomposition
 of the natural problem structure that the algorithm determines is best
 for the machine(s) in use.
 In the ASCEND language object-orientation is used to organize natural structure
s and make them easier to understand.
 It is not used to hide the details of the objects.
 The user (or machine) is free to ignore uninteresting details, and the
 ASCEND environment provides tools for the runtime suppression of these.
\end_layout

\begin_layout Standard
ASCEND is well into its 4th generation.
 Some features we will describe are not yet implemented (some merely speculative
) and these are clearly marked (* 4+ *).
 Any feature not marked (* 4+ *)has been completely implemented, and thus
 any mismatch between the description given here and the software we distribute
 is a bug we want you to tell us about.
 
\end_layout

\begin_layout Standard
The syntax and semantics of ASCEND may seem at first a bit unusual.
 However, do not be afraid to just try what comes naturally if what we write
 here is unclear.
 The parser and compiler of ASCEND IV really will help you get things right.
 Of course if what we write here is unclear, please ask us about it because
 we aim to continuously improve both this document and the language system
 it describes.
\end_layout

\begin_layout Standard
We will describe, starting in Section 
\begin_inset CommandInset ref
LatexCommand vref
reference "sub:x.1.2Basic-Elements"

\end_inset

, the higher level concepts of ASCEND, but first some important punctuation
 rules.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
ASCEND
\begin_inset space ~
\end_inset

is
\begin_inset space ~
\end_inset

cAsE
\begin_inset space ~
\end_inset

sensitive
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
case sensitive
\end_layout

\end_inset

! 
\end_layout

\begin_deeper
\begin_layout Standard
The keywords that are shown capitalized (or in lower case) in this chapter
 are that way because ASCEND is case sensitive.
 IS_A is an ASCEND keyword; isa, Is_a, and all the other permutations you
 can think of are NOT equivalent to IS_A.
 In declaring new types of models and variables the user is free to use
 any style of capitalization he or she may prefer; however, they must remain
 consistent or undefined types and instances will result.
\end_layout

\begin_layout Standard
This case restriction makes our code very readable, but hard to type without
 a smart editor.
 We have kept the case-sensitivity because, like all mathematicians, we
 find ourselves running out of good variable names if we are restricted
 to a 26 letter alphabet.
 We have developed smart add-ins for two UNIX editors, EMACS
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
EMACS
\end_layout

\end_inset

 and vi
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
vi
\end_layout

\end_inset

, for handling the upper case keywords and some other syntax elements.
 The use of these editors is described in another chapter.
 
\end_layout

\begin_layout Standard
The ASCEND IV parser is very picky and pedantic.
 It also tries to give helpful messages and occasionally even suggestions.
 New users should just dive in and make errors, letting the system help
 them learn how to avoid errors.
\end_layout

\begin_layout Section
Punctuation
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
punctuation
\end_layout

\end_inset


\end_layout

\end_deeper
\begin_layout Standard
This section covers both the punctuation that must be understood to read
 this document and the punctuation of ASCEND code.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
keywords
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
keywords
\end_layout

\end_inset

: ASCEND keywords and type names are given in the left column in bold format.
 It is generally clear from the main text which are keywords and which are
 type names.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Minor
\begin_inset space ~
\end_inset

items:
\bar default
 Minor headings that are helpful in finding details are given in the left
 column in underline format.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Tips: Special notes and hints are sometimes placed on the left.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
LHS
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
LHS
\end_layout

\end_inset

:
\bar default
 Left Hand Side.
 Abbreviation used frequently.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
RHS
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
RHS
\end_layout

\end_inset

:
\bar default
 Right Hand Side.
 Abbreviation used frequently.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Simple
\begin_inset space ~
\end_inset

names
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
simple names
\end_layout

\end_inset

:
\bar default
 In ASCEND simple names are made of the characters a through z, A through
 Z, _, (*4+*: $).
 The underscore is used as a letter, but it cannot be the first letter in
 a name.
 The $
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
$
\end_layout

\end_inset


\end_layout

\end_inset

 character is used exclusively as the first character in the name of system
 defined built-in parts.
 "$" is explained in more detail in Section 
\begin_inset CommandInset ref
LatexCommand vref
reference "sub:x.6.2Supported-attributes"

\end_inset

.
 Simple names should be no more than 80 characters long.
 
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Compound
\begin_inset space ~
\end_inset

names
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
compound names
\end_layout

\end_inset

:
\bar default
 Compound names are simple names strung together with dots (.).
 See the description of "." below.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Groupings:
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
«
\begin_inset space ~
\end_inset

»
\bar default
 In documentation 
\series bold
optional fields
\series default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
optional fields
\end_layout

\end_inset

 are surrounded by these markers.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
(*
\begin_inset space ~
\end_inset

*)
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
(* *)
\end_layout

\end_inset

 Comment.
 Anything inside these is a comment.
 Comments can nest
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
nest
\end_layout

\end_inset

 in ASCEND and span several lines.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
(
\begin_inset space ~
\end_inset

)
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
( )
\end_layout

\end_inset

 Rounded parentheses
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
parentheses
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
rounded parentheses
\end_layout

\end_inset

.
 Used to enclose arguments for functions or models where the order of the
 arguments matters.
 Also used to group terms in complex arithmetic, logical, or set expressions
 where the order of operations needs to be specified.
 
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Efficiency
\begin_inset space ~
\end_inset

tip: The compiler can simplify relation definitions in a particularly efficient
 manner if constants are grouped together.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
{
\begin_inset space ~
\end_inset

}
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

{
\end_layout

\end_inset

 
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

}
\end_layout

\end_inset


\end_layout

\end_inset

 Curly braces
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
Curly braces
\end_layout

\end_inset

.
 Used to enclose units.
 For example, 1 {kg_mole/s}.
 Also used to enclose the body of annotations.
 Note: Curly braces are also used in TCL, the language of the ASCEND user
 interface, about which we will say more in another chapter.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
[
\begin_inset space ~
\end_inset

]
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
[ ]
\end_layout

\end_inset

 Square brackets
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
square brackets
\end_layout

\end_inset

.
 Used to enclose sets or elements of sets.
 Examples: my_integer_set :== [1,2,3], demonstrates the use of square brackets
 in the assignment of a set.
 My_array[1] demonstrates the use of square brackets in naming an array
 object indexed over an integer set which includes the element 1.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
.
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
.
\end_layout

\end_inset

 Dot
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
dot
\end_layout

\end_inset

.
 The dot is used, as in PASCAL and C, to construct the names of nested objects.
 Examples: if object a has a part b, then the way to refer to b is as a.b.
 Tray[1].vle shows a dot following a square bracket; here Tray[1] has a part
 named vle.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
..
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
..
\end_layout

\end_inset

 Dot-dot or double dot
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
double dot
\end_layout

\end_inset

.
 Integer range shorthand.
 For example, my_integer_set :== [1,2,3] and my_integer_set :== [1..3] are
 equivalent.
 If ..
 appears in a context requiring (), such as the ALIASES/IS_A statement,
 then the range is expanded and ordered as we would naturally expect.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
:
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
:
\end_layout

\end_inset

 Colon
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
colon
\end_layout

\end_inset

.
 A separator used in various ways, principally to set the name of an arithmetic
 relation apart from the definition.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
::
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
::
\end_layout

\end_inset

 Double colon
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
double colon
\end_layout

\end_inset

.
 A separator used in the methods section for accessing methods defined on
 types other than the type the method is part of.
 Explained in Section 
\begin_inset CommandInset ref
LatexCommand vref
reference "sec:x.4Procedural-statements"

\end_inset

.[
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
;
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
;
\end_layout

\end_inset

 Semicolon
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
semicolon
\end_layout

\end_inset

.
 The separator of statements.
\end_layout

\begin_deeper
\begin_layout Section
Basic Elements
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
basic elements
\end_layout

\end_inset


\begin_inset CommandInset label
LatexCommand label
name "sub:x.1.2Basic-Elements"

\end_inset


\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Boolean
\begin_inset space ~
\end_inset

value
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
value, Boolean
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
Boolean value
\end_layout

\end_inset

 
\family sans
TRUE
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
TRUE
\end_layout

\end_inset

 or 
\family sans
FALSE
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
FALSE
\end_layout

\end_inset

.
 Can't get much simpler, eh? In the language definition 
\family sans
TRUE
\family default
 and 
\family sans
FALSE
\family default
 do not map to 1 and 0 or any other type of numeric value.
 (In the implementation, of course, they do.)
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
User
\begin_inset space ~
\end_inset

interface
\begin_inset space ~
\end_inset

tip: The ASCEND user interface programmers have found it very convenient,
 however, to allow T/F, 1/0, Y/N, and other obvious boolean conventions
 as interactive input when assigning boolean values.
 We are lazy users.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Integer
\begin_inset space ~
\end_inset

value
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
value, integer
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
integer value
\end_layout

\end_inset

 A signed whole number up to the maximum that can be represented by the
 computer on which one is running ASCEND.
 
\family sans
MAX_INTEGER
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
MAX
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
_
\end_layout

\end_inset

INTEGER
\end_layout

\end_inset

 is machine dependent.
 Examples are:
\end_layout

\begin_deeper
\begin_layout LyX-Code
\align block
123
\end_layout

\begin_layout LyX-Code
\align block
-5
\end_layout

\begin_layout LyX-Code
\align block
MAX_INTEGER, typically 2147483647.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Real
\begin_inset space ~
\end_inset

value
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
value.
 real
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
real value
\end_layout

\end_inset

 ASCEND represents reals almost exactly as any other mathematically oriented
 programming language does.
 The mantissa
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
mantissa
\end_layout

\end_inset

 has an optional negative sign followed by a string of digits and at most
 one decimal point.
 The exponent is the letter 
\family typewriter
e
\family default
 or 
\family typewriter
E
\family default
 followed by an integer.
 The number must not exceed the largest the computer is able to handle.
 There can be no blank characters in a real.
 
\family sans
MAX_REAL
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
MAX
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
_
\end_layout

\end_inset

REAL
\end_layout

\end_inset

 is machine dependent.
 The following are legitimate reals in ASCEND: 
\end_layout

\begin_deeper
\begin_layout LyX-Code
\align block
-1
\end_layout

\begin_layout LyX-Code
\align block
1.2
\end_layout

\begin_layout LyX-Code
\align block
1.3e-2 
\end_layout

\begin_layout LyX-Code
\align block
7.888888e+34
\end_layout

\begin_layout LyX-Code
\align block
.6E21
\end_layout

\begin_layout LyX-Code
\align block
MAX_REAL, typically about 1.79E+308.
\end_layout

\begin_layout Standard
while the following are not:
\end_layout

\begin_layout LyX-Code
\align block
1.
 2    (*contains a blank within it*)
\end_layout

\begin_layout LyX-Code
\align block
1.3e2.0 (*exponent has a decimal in it*)
\end_layout

\begin_layout LyX-Code

\family typewriter
+1.3    (* illegal unary + sign.
 x = +1.3 not allowed*)
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Reals
\begin_inset space ~
\end_inset

stored
\begin_inset space ~
\end_inset

in
\begin_inset space ~
\end_inset

SI
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
SI
\end_layout

\end_inset


\begin_inset space ~
\end_inset

units
\bar default
 
\end_layout

\begin_deeper
\begin_layout Standard
We store all real values as double precision
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
double precision
\end_layout

\end_inset

 numbers in the metre-kilogram-second (MKS)
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
MKS
\end_layout

\end_inset

 system of units.
 This eliminates many common errors in the modeling of physical systems.
 Since we also place the burden of scaling equations on system routines
 and a simple modeling methodology, the internal units are not of concern
 to most users.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Dimensionality
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
dimensionality
\end_layout

\end_inset

:
\bar default
 Real values have dimensionality such as length/time for velocity.
 
\series bold
Dimensionality
\series default
 is to be distinguished from the 
\series bold
units
\series default
 such as ft/s.
 ASCEND takes care of mapping between units
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
units
\end_layout

\end_inset

 and dimensions.
 A value without units (this includes integer values) is taken to be dimensionle
ss
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
dimensionless
\end_layout

\end_inset

.
 Dimensionality is built up from the following base dimensions:
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Name 
\bar under
definition; typical units
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
L
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
L, length dimension
\end_layout

\end_inset

 length
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
length
\end_layout

\end_inset

; metre, m
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
M
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
M, mass dimension
\end_layout

\end_inset

 mass
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
mass
\end_layout

\end_inset

; kilogram, kg
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
T
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
T, time dimension
\end_layout

\end_inset

 time
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
time
\end_layout

\end_inset

; second, s
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
E
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
E, electric current dimension
\end_layout

\end_inset

 electric current
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
electric current
\end_layout

\end_inset

; ampere, A
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Q
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
Q, quantity dimension
\end_layout

\end_inset

 quantity
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
quantity
\end_layout

\end_inset

; mole, mole
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
TMP
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
TMP, temperature dimension
\end_layout

\end_inset

 temperature
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
temperature
\end_layout

\end_inset

; Kelvin, K
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
LUM
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
LUM, luminous intensity dimension
\end_layout

\end_inset

 luminous intensity
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
luminous intensity
\end_layout

\end_inset

; candela, cd
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
P
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
P, phase angle dimension
\end_layout

\end_inset

 plane angle
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
plane angle
\end_layout

\end_inset

; radian, rad
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
S
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
S, solid angle dimension
\end_layout

\end_inset

 solid angle
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
solid angle
\end_layout

\end_inset

; steradian, srad
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
C
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
C, currency dimension
\end_layout

\end_inset

 currency
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
currency
\end_layout

\end_inset

; currency, CR
\end_layout

\begin_deeper
\begin_layout Standard
The atom and constant definitions in the library illustrate the use of dimension
ality.
\end_layout

\begin_layout Standard
Dimensions may be any combination of these symbols along with rounded parenthese
s, (), and the operators *, 
\family typewriter
^
\family default
 and 
\family typewriter
/
\family default
.
 Examples include 
\family typewriter
M/T
\family default
 or 
\family typewriter
M*L^2/T^2/TMP
\family default
 {this latter means 
\family typewriter
(M*(L^2)/(T^2))/TMP
\family default
}.
 The second operand for the to-the-power-of operator, 
\family typewriter
^
\family default
, must be an integer value (e.g., -2 or 3) because fractional powers of dimensiona
l numbers are physically undefined 
\begin_inset Note Note
status open

\begin_layout Plain Layout
although we do seem them occasionally...
\end_layout

\end_inset

.
\end_layout

\begin_layout Standard
If the dimensionality for a real value is undefined, then ASCEND gives it
 a wildcard dimensionality
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
wild card dimensionality
\end_layout

\end_inset

.
 If ASCEND can later deduce its dimensionality from its use in a model definitio
n it will do so.
 For example consider the real variable 
\family typewriter
a
\family default
, suppose 
\family typewriter
a
\family default
 has wildcard dimensionality, 
\family typewriter
b
\family default
 has dimensionality of 
\family typewriter
L/T
\family default
.
 Then the statement:
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Example
\begin_inset space ~
\end_inset

of
\begin_inset space ~
\end_inset

a
\begin_inset space ~
\end_inset

dimensionally
\begin_inset space ~
\end_inset

consistent
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
dimensionally consistent
\end_layout

\end_inset


\begin_inset space ~
\end_inset

equation.
 
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
\begin_inset space ~
\end_inset

 
\family typewriter
a + b = 3 {ft/s};
\end_layout

\begin_deeper
\begin_layout Standard
requires that 
\family typewriter
a
\family default
 have the same dimensionality as the other two terms, namely, 
\family typewriter
L/T
\family default
.
 ASCEND will assign this dimensionality to 
\family typewriter
a
\family default
.
 The user will be warned of dimensionally inconsistent equations.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Unit
\begin_inset space ~
\end_inset

expression
\bar default
 A unit expression
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
unit expression
\end_layout

\end_inset

 may be composed of any combination of unit names defined by the system
 and any numerical constants combined with times (
\family typewriter
*
\family default
), divide(
\family typewriter
/
\family default
) and to the power (
\family typewriter
^
\family default
) operators.
 The RHS of 
\family typewriter
^
\family default
 must be an integer.
 Parentheses can be used to group subexpressions with the exception that
 a divide operator may 
\emph on
not
\emph default
 be followed by a grouped subexpression.
 
\end_layout

\begin_deeper
\begin_layout Standard
So, 
\family typewriter
{kg/m/s}
\family default
 is fine, but 
\family typewriter
{kg/(m*s)}
\family default
 is not.
 Although the two expressions are mathematically equivalent, it makes the
 system programming and output formatting easier to code and faster to execute
 if we disallow expressions of the latter sort.
\end_layout

\begin_layout Standard
The units understood by the system are defined in the first part of this
 manual.
 Note that several units defined are really values of interesting constants
 in SI, e.g.
 
\family typewriter
R :== 1{GAS_C}
\family default
 yields the correct value of the thermodynamic gas constant.
 Users can define additional units.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Units
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
units
\end_layout

\end_inset

 A Unit expression unit expression must be enclosed in curly braces 
\family typewriter
{}
\family default
.
 When a real number is used in a mathematical expression in ASCEND, it must
 have a set of units expressed with it.
 If it does not, ASCEND assumes the number is dimensionless, which may not
 be the intent of the modeler.
 An example is shown in the dimensionally consistent equation above where
 the number 3 has the units 
\family typewriter
{ft/s}
\family default
 associated with it.
 
\end_layout

\begin_deeper
\begin_layout Standard
Examples:
\end_layout

\begin_layout LyX-Code
\align block
{kg_mole/s/m} same as {(kg_mole/s)/m}
\end_layout

\begin_layout LyX-Code
\align block
{m^3/yr}
\end_layout

\begin_layout LyX-Code
\align block
{3/100*ft} same as {0.03*ft}
\end_layout

\begin_layout LyX-Code
\align block
{s^-1} same as {1/s}
\end_layout

\begin_layout Standard
Illegal unit examples are
\end_layout

\begin_layout LyX-Code
\align block
{m/(K*kg_mole)}
\end_layout

\begin_deeper
\begin_layout Standard
grouped subexpression used in the denominator; should be written {m/K/kg_mole}.
\end_layout

\end_deeper
\begin_layout LyX-Code
\align block
{m^3.5}
\end_layout

\begin_deeper
\begin_layout Standard
power of units or dimensions must be integer.
\end_layout

\end_deeper
\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Symbol
\begin_inset space ~
\end_inset

Value
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
value, symbol
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
symbol value
\end_layout

\end_inset

 The format for a symbol is that of an arbitrary character string enclosed
 between two single quotes.
 There is no way to embed a single quote
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
'
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
single quote
\end_layout

\end_inset

 in a symbol: we are not in the escape sequence business at this time.
 The following are legal symbols in ASCEND:
\end_layout

\begin_deeper
\begin_layout LyX-Code
'H2O'
\end_layout

\begin_layout LyX-Code
'r1'
\end_layout

\begin_layout LyX-Code
'Bill said,foo to whom?'
\end_layout

\begin_layout Standard
while the following are not legal symbol values:
\end_layout

\begin_layout LyX-Code
"ethanol" (double quotes not allowed)
\end_layout

\begin_layout LyX-Code
water (no single quotes given)
\end_layout

\begin_layout LyX-Code
'i can't do this' (no embedded quotes)
\end_layout

\begin_layout Standard
There is an arbitrary upper limit to the number of characters in a symbol
 (something like 10,000) so that we may detect a missing close quote in
 a bad input file without crashing.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Sets
\begin_inset space ~
\end_inset

values
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
values, set
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
set values
\end_layout

\end_inset

 Set values are lists of elements, all of type 
\family sans
integer_constant
\family default
 or all of type 
\family sans
symbol_constant
\family default
, enclosed between square brackets 
\family typewriter
[]
\family default
.
 The following are examples of sets:
\end_layout

\begin_deeper
\begin_layout LyX-Code
\align block
['methane', 'ethane', 'propane']
\end_layout

\begin_layout LyX-Code
\align block
[1..5, 7, 15]
\end_layout

\begin_layout LyX-Code
\align block
[2..n_stages]
\end_layout

\begin_layout LyX-Code
\align block
[1, 4, 2, 1, 16]
\end_layout

\begin_layout LyX-Code
\align block
[]
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
More
\begin_inset space ~
\end_inset

about
\begin_inset space ~
\end_inset

sets
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
sets
\end_layout

\end_inset


\begin_inset space ~
\end_inset

in
\begin_inset space ~
\end_inset

Section
\begin_inset space ~
\end_inset


\begin_inset CommandInset ref
LatexCommand vref
reference "sub:x.2.2Sets"

\end_inset

.
\end_layout

\begin_deeper
\begin_layout Standard
The value range 
\family typewriter
1..5
\family default
 is an allowable shorthand for the integers 1, 2, 3, 4 and 5 while the value
 range 
\family typewriter
2..n_stages
\family default
 (where 
\family typewriter
n_stages
\family default
 must be of type 
\family sans
integer_constant
\family default
) means all integers from 2 to 
\family typewriter
n_stages
\family default
.
 If 
\family typewriter
n_stages
\family default
 is less than 2, then the third set is empty.
 The repeated occurrence of 
\family typewriter
1
\family default
 in the fourth set is ignored.
 The fifth set is the empty set
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
empty set
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
set, empty
\end_layout

\end_inset

.
\end_layout

\begin_layout Standard
We use the term set in an almost pure mathematical sense.
 The elements have no order.
 One can only ask two things of a set: (1) if an element is a member of
 it and (2) its cardinality
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
cardinality
\end_layout

\end_inset

 (
\family sans
CARD
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
CARD
\end_layout

\end_inset


\family typewriter
(set)
\family default
).
 Repeated elements used in defining a set are ignored.
 The elements of sets cannot themselves be sets in ASCEND; i.e., there can
 be no sets of set.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Sets
\begin_inset space ~
\end_inset

are
\begin_inset space ~
\end_inset

unordered.
 A set of integers may appear to be ordered to the modeler as the natural
 numbers have an order.
 However, it is the user imposing and using the ordering, not ASCEND.
 ASCEND sees these integers as elements in the set with NO ordering.
 Therefore, there are no operators in ASCEND such as successor or precursor
 member of a set.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Arrays
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
arrays
\end_layout

\end_inset

 An array is a list of instances indexed over a set, in computer-speak,
 an associative array of objects.
 The instances are all of the same base type (as that is the only way they
 can be defined).
 An individual member of a list may later be more refined than the other
 members (we shall illustrate that possibility).
 The following are arrays in ASCEND.
\end_layout

\begin_deeper
\begin_layout LyX-Code
\align block
stage[1..n_stages]
\end_layout

\begin_layout LyX-Code
\align block
y[components]
\end_layout

\begin_layout LyX-Code
\align block
column[areas][processes]
\end_layout

\begin_layout Standard
where components, areas and processes are sets.
 For example components could be the set of symbols 
\family typewriter
['ethylene', 'propylene']
\family default
, areas the set of symbols 
\family typewriter
['feed_prep', 'prod_purification']
\family default
 while processes could be the set 
\family typewriter
['alcohol_manuf', 'poly_propropylene_manuf']
\family default
.
 Note that the third example (
\family typewriter
column
\family default
) is a list of lists (the way that ASCEND permits a multiply subscripted
 array).
 
\end_layout

\begin_layout Standard
The following are elements in the above arrays:
\end_layout

\begin_layout LyX-Code
stage[1] 
\end_layout

\begin_layout LyX-Code
y['ethylene']
\end_layout

\begin_layout LyX-Code
column['feed_prep'][alcohol_manuf']
\end_layout

\begin_layout Standard
provided that 
\family typewriter
n_stages
\family default
 is 1 or larger.
 
\end_layout

\begin_layout Standard
There can be any number of subscripts
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
subscripts
\end_layout

\end_inset

 for an array.
 We point out, however, that in virtually every application of arrays requiring
 more than two subscripts, there is usually a some underlying concept that
 is much better modeled as an object than as part of a deeply subscripted
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
subscripted, deeply
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
deeply subscripted
\end_layout

\end_inset

 array.
 In the following jagged array example, there are really the concepts of
 unit operation and stream that would be better understood if made explicit.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Arrays
\begin_inset space ~
\end_inset

can
\begin_inset space ~
\end_inset

be
\begin_inset space ~
\end_inset

jagged
\bar default

\begin_inset CommandInset label
LatexCommand label
name "lyx:Arrays-can-be"

\end_inset

 Arrays can be sparse
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
sparse
\end_layout

\end_inset

 or jagged
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
jagged
\end_layout

\end_inset

.
 For example:
\end_layout

\begin_deeper
\begin_layout LyX-Code
process[1..3] IS_A set OF integer;
\end_layout

\begin_layout LyX-Code
process[1] :== [2];
\end_layout

\begin_layout LyX-Code
process[2] :== [7,5,3];
\end_layout

\begin_layout LyX-Code
process[3] :== [4,6];
\end_layout

\begin_layout LyX-Code
FOR i in [1..3] CREATE
\end_layout

\begin_layout LyX-Code
   FOR j IN process[i] CREATE
\end_layout

\begin_layout LyX-Code
      flow[i][j] IS_A mass;
\end_layout

\begin_layout LyX-Code
   END FOR;
\end_layout

\begin_layout LyX-Code
END FOR;
\end_layout

\begin_layout Standard
process is an array of sets (not to be confused with a set of sets which
 ASCEND does not have) and flow is an array with six elements spread over
 three rows:
\end_layout

\begin_layout LyX-Code
flow[1][2]
\end_layout

\begin_layout LyX-Code
flow[2][7], flow[2][3], flow[2][5]
\end_layout

\begin_layout LyX-Code
flow[3][4], flow[3][6]
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Arrays
\begin_inset space ~
\end_inset

are
\begin_inset space ~
\end_inset

also
\begin_inset space ~
\end_inset

instances 
\end_layout

\begin_deeper
\begin_layout Standard
Each array is itself an object.
 That is, when you write 
\family typewriter
a[1..2] IS_A real
\family default
, three objects get created: 
\family typewriter
a[1]
\family default
, 
\family typewriter
a[2]
\family default
, and 
\family typewriter
a
\family default
.
 The object 
\family typewriter
a
\family default
 is an array instance which has parts named 
\family typewriter
[1]
\family default
 and 
\family typewriter
[2]
\family default
 that are real instances.
 When a parameterized model requires an array, you pass it the single item
 
\family typewriter
a
\family default
, not the elements 
\family typewriter
a[1..2]
\family default
.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
No
\begin_inset space ~
\end_inset

contiguous
\begin_inset space ~
\end_inset

storage
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
contiguous storage, no
\end_layout

\end_inset

 
\end_layout

\begin_deeper
\begin_layout Standard
Just in case you still have not caught on, ASCEND arrays are not blocks
 of memory such as are seen in low-level languages like C
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
C, computer language
\end_layout

\end_inset

, FORTRAN
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
FORTRAN
\end_layout

\end_inset

, and Matlab
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
Matlab
\end_layout

\end_inset

.
 The modeling language does not provide things like MatMult
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
MatMult
\end_layout

\end_inset

, Transpose
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
Transpose
\end_layout

\end_inset

, and Inverse
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
Inverse
\end_layout

\end_inset

 because these are procedural solving tools.
 If you are dedicated, you could write METHODs that implement matrix algebra,
 but this is a really dumb idea.
 We aim to structure our software so that it can interact openly with separate,
 dedicated tools (such as Matlab) when those tools are needed.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Index
\begin_inset space ~
\end_inset

variable
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
index variable
\end_layout

\end_inset

 One can introduce a variable as an index ranging over a set.
 Index variables are local to the statements in which they occur.
 An example of using an index variable is the following FOR statement:
\end_layout

\begin_deeper
\begin_layout LyX-Code
FOR i IN components CREATE
\end_layout

\begin_layout LyX-Code
   VLE_equil[i]: y[i] = K[i]*x[i];
\end_layout

\begin_layout LyX-Code
END FOR;
\end_layout

\begin_layout Standard
In this example i implicitly is of the same type as the values in the set
 components.
 If another object i exists in the model containing the FOR loop, it is
 ignored while executing the statements in that loop.
 This may cause unexpected results and the compiler will generate warnings
 about loop index shadowed variables.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Label
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
label
\end_layout

\end_inset

: One can label statements which define arithmetic relationships (objective
 functions, equalities, and inequalities) in ASCEND.
 Labeling is highly recommended because it makes models much more readable
 and more easily debugged.
 Labels are also necessary for relations which are going to be used in condition
al modeling or differentiation functions.
 A label is a sequence of alphanumeric characters ending in a colon.
 An example of a labeled equation is:
\end_layout

\begin_deeper
\begin_layout LyX-Code
mass_balance: m_in = m_out;
\end_layout

\begin_layout Standard
An example of a labeled objective function is:
\end_layout

\begin_layout LyX-Code
obj1: MAXIMIZE revenue - cost;
\end_layout

\begin_layout Standard
If a relation is defined within a FOR statement, it must have an array indexed
 label so that each instance created using the statement is distinguishable
 from the others.
 An example is:
\end_layout

\begin_layout LyX-Code
FOR i IN components CREATE
\end_layout

\begin_layout LyX-Code
   equil[i]: y[i] = K[i]*x[i];
\end_layout

\begin_layout LyX-Code
END FOR;
\end_layout

\begin_layout Standard
The ASCEND interactive user interface identifies relationships by their
 labels.
 If one has not provided such a label, the system generates the label:
\end_layout

\begin_layout LyX-Code

\emph on
modelname_equationnumber
\end_layout

\begin_layout Standard
where modelname and equationnumber are the name of the model and the equation
 number in the model.
 An example is
\end_layout

\begin_layout LyX-Code
mixture_14
\end_layout

\begin_layout Standard
for the unlabeled 14th relation in the mixture definition.
 If there is a conflict caused with an existing name, the generated name
 has enough letters added after equationnumber to make it a unique name.
 Remember that each model in a refinement hierarchy inherits the equations
 of its less refined ancestors, so the first equation appearing in the source
 code of a refining model may actually be the nth relation in that model.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Lists
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
lists
\end_layout

\end_inset

 Often in a statement one can include a list of names or expression.
 A name list is one or more names where multiple list entries are separated
 from each other by commas.
 Examples of a list of names are:
\end_layout

\begin_deeper
\begin_layout LyX-Code
\align block
T1, inlet_T, outlet_T
\end_layout

\begin_layout LyX-Code
\align block
y[components], y_in
\end_layout

\begin_layout LyX-Code
\align block
stage[1..n_stages]
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Ordered
\begin_inset space ~
\end_inset

lists
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
lists, ordered
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
ordered lists
\end_layout

\end_inset

:
\bar default
 If the ordering of names in a list matters, that list is enclosed in ().
 Order matters in: calling externally defined methods or models, calling
 most real-valued functions, passing parameters to ASCEND models or methods,
 and declaring the controlling parameters that SELECT, SWITCH, and WHEN
 statements make decisions on.
\end_layout

\begin_deeper
\begin_layout Section
Basic Concepts
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Instances
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
instances
\end_layout

\end_inset


\begin_inset space ~
\end_inset

and
\begin_inset space ~
\end_inset

types
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
types
\end_layout

\end_inset

 This is an opportune time to emphasize the distinction between the terms
 instance and type.
 A type in ASCEND is what we define when we declare an ASCEND model or atom.
 It is the formal definition of the attributes (parts) and attribute default
 values that an object will have if it is created using the type definition.
 Methods are associated with types.
\end_layout

\begin_deeper
\begin_layout Standard
In ASCEND there are two meanings (closely related) of an instance.
 
\end_layout

\begin_layout Itemize
An instance is a named part that exists within a type definition.
 
\end_layout

\begin_layout Itemize
An instance is a compiled object.
 
\end_layout

\begin_layout Standard
If one is in the context of the ASCEND interface, the system compiles an
 instance of a model type to create an object with which one carries out
 computations.
 The system requires the user to give a simple name for this simulation
 instance.
 This name given is then the first part of the qualified name for all the
 parts of the compiled object.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Implicit
\begin_inset space ~
\end_inset

types
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
types, implicit
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
types, implicit
\end_layout

\end_inset

 It is possible to create an instance that does not have a corresponding
 type definition in the library.
 The type of such an instance is said to be 
\series bold
implicit
\series default

\begin_inset Foot
status collapsed

\begin_layout Plain Layout
 (Some people use the word 
\emph on
anonymous
\emph default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
type, anonymous
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
anonymous type
\end_layout

\end_inset

.
 However, no computable type is anonymous and the implicit type of an instance
 is theoretically computable)
\end_layout

\end_inset

.
 The simplest example of an implicit type is the type of an instance compiled
 from the built-in definition 
\family sans
integer_constant
\family default
.
 For example:
\end_layout

\begin_deeper
\begin_layout LyX-Code
i, j IS_A integer_constant;
\end_layout

\begin_layout LyX-Code
i:== 2;
\end_layout

\begin_layout LyX-Code
j:== 3;
\end_layout

\begin_layout Standard
Instances 
\family typewriter
i
\family default
 and 
\family typewriter
j
\family default
, though of the same formal type, are implicit type incompatible because
 they have been assigned distinct values.
\end_layout

\begin_layout Standard
Instances which are either formally or implicitly type incompatible cannot
 be merged.
 This will be discussed further in Section 
\begin_inset CommandInset ref
LatexCommand vref
reference "sec:x.3Declarative-statements"

\end_inset

.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Parsing
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
parsing
\end_layout

\end_inset

 Most errors in the declaration of an ASCEND model can be caught at parse
 time because the object type of any well-formed name in an ASCEND definition
 can be resolved or proved ambiguous.
 We cannot prove at parse time whether a specific array element will exist,
 but we can know that should such an element exist, it must be of the type
 with which the array is defined.
 
\end_layout

\begin_deeper
\begin_layout Standard
Ambiguity is warned about loudly because it is caused by either misspelling
 or poor modeling style.
 The simplest example of ambiguity follows.
\end_layout

\begin_layout Standard
Assume a type, stream, and a refinement of stream, heat_stream, which adds
 the new variable 
\family typewriter
H
\family default
.
 Now, if we write:
\end_layout

\begin_layout LyX-Code
MODEL mixer;
\end_layout

\begin_layout LyX-Code
input[1..2] IS_A stream;
\end_layout

\begin_layout LyX-Code
output IS_A heat_stream;
\end_layout

\begin_layout LyX-Code
input[1].H + input[2].H = output.H;
\end_layout

\begin_layout LyX-Code
END mixer;
\end_layout

\begin_layout Standard
We see the parser can find the definition of H in the type heat_stream,
 so 
\family typewriter
output.H
\family default
 is well defined.
 The author of the mixer model may intend to refine 
\family typewriter
input[1]
\family default
 and 
\family typewriter
input[2]
\family default
 to be objects of different types, say steam_stream and electric_stream,
 where each defines an 
\family typewriter
H
\family default
 suitable for use in the equation.
 The parser cannot read the authors mind, so it warns that 
\family typewriter
input[1].H
\family default
 and 
\family typewriter
input[2].H
\family default
 are ambiguous in the mixer definition.
 The mixer model is not highly reusable except by the author, but sometimes
 reusability is not a high priority objective.
 The mixer definition is allowed, but it may cause problems in instantiation
 if the author has forgotten the assumption that is not explicitly stated
 in the model and neglects to refine the input streams appropriately.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Instantiation
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
instantiation
\end_layout

\end_inset

 Creating an simulation based on a type definition is a multi-phase
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
multi-phase
\end_layout

\end_inset

 process called compiling
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
compiling
\end_layout

\end_inset

 (or instantiation).
 When an instantiation cannot be completed because some structural parameter
 (a symbol_constant, real_constant, boolean_constant, integer_constant,
 or set) does not have a value there will be PENDING
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
PENDING
\end_layout

\end_inset

 statements.
 The user interface will warn that something is incomplete.
\end_layout

\begin_deeper
\begin_layout Standard
In phase
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
phases, compiler
\end_layout

\end_inset

 1 all statements that create instance structures or assign constant values
 are executed.
 This phase theoretically requires an infinite number of passes through
 the structural statements of a definition.
 We allow a maximum of 5 and have never needed more than 3.
 There may be pending statements at the end of phase 1.
 The compiler or interface will issue warnings about pending statements,
 starting with warnings about unassigned constants.
\end_layout

\begin_layout Standard
Phase 2 compiles as many real arithmetic relation definitions as possible.
 Some relations may be impossible to compile because the constants or sets
 they depend on do not have values assigned.
 Other relations may be impossible because they reference variables that
 do not exist.
 This is determined in a single pass.
\end_layout

\begin_layout Standard
Phase 3 compiles as many logical arithmetic relation definitions as possible.
 Some relations may be impossible to compile because the constants or sets
 they depend on do not have values assigned.
 Other relations may be impossible because they reference real arithmetic
 relations that do not exist.
 This is determined in a single pass.
\end_layout

\begin_layout Standard
Phase 4 compiles as many conditional programming statements (
\family sans
WHEN
\family default
s) as possible.
 Some 
\family sans
WHEN
\family default
 relations may be impossible to compile because the discrete variables,
 models, or relations they depend on do not exist.
 This is determined in a single pass.
\end_layout

\begin_layout Standard
Phase 5 executes the variable defaulting statements made in the declarative
 section of each model 
\emph on
if and only if
\emph default
 there are no pending statements from phases 1-4 anywhere in the simulation.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
default_self
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
default
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
_
\end_layout

\end_inset

self
\end_layout

\end_inset

 After all phases are done, the method default_self is called in the top-most
 model of the simulation, if this method exists.
\end_layout

\begin_deeper
\begin_layout Standard
The first occurrence of each impossible statement will be explained during
 a failed compilation.
 Impossible statements include:
\end_layout

\begin_layout Itemize
Relations containing undefinable variables (often misspellings).
\end_layout

\begin_layout Itemize
Assignments that are dimensionally inconsistent or containing mismatched
 types.
\end_layout

\begin_layout Itemize
Structure building or modifying statements that refer to model parts which
 cannot exist or that require a type-incompatible argument, refinement,
 or merge.
\end_layout

\begin_layout Chapter
Data Type Declarations
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
data type declarations
\end_layout

\end_inset


\end_layout

\begin_layout Standard
In the spectrum of OO languages, ASCEND is best considered as being class-based
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
class-based
\end_layout

\end_inset

, though it is rather more a hybrid.
 We have atom and model definitions, called 
\series bold
types
\series default
, and the compiled objects themselves, called 
\series bold
instances
\series default
.
 ASCEND instances have a record of what type they were constructed from.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Type
\begin_inset space ~
\end_inset

qualifiers
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
type qualifiers
\end_layout

\end_inset

:
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
UNIVERSAL
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
UNIVERSAL
\end_layout

\end_inset

 Universal is an optional modifier of all 
\family sans
ATOM
\family default
, 
\family sans
CONSTANT
\family default
 and 
\family sans
MODEL
\family default
 definitions.
 If 
\family sans
UNIVERSAL
\family default
 precedes the definition, then 
\emph on
all
\emph default
 instances of that type will actually refer to the first instance of the
 type that is created.
 This saves memory and ensures global consistency of data.
 
\end_layout

\begin_deeper
\begin_layout Standard
Examples of universal type definitions are
\end_layout

\begin_layout LyX-Code
UNIVERSAL MODEL methane
\end_layout

\begin_layout LyX-Code
   REFINES generic_component_model;
\end_layout

\begin_layout LyX-Code
UNIVERSAL CONSTANT circle_constant
\end_layout

\begin_layout LyX-Code
   REFINES real_constant :== 1{PI};
\end_layout

\begin_layout LyX-Code
UNIVERSAL ATOM counter_1
\end_layout

\begin_layout LyX-Code
   REFINES integer;
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Tip:
\begin_inset space ~
\end_inset

Do
\begin_inset space ~
\end_inset

not
\begin_inset space ~
\end_inset

use
\begin_inset space ~
\end_inset


\family sans
UNIVERSAL
\family default

\begin_inset space ~
\end_inset

variables
\begin_inset space ~
\end_inset

in
\begin_inset space ~
\end_inset

relations.
\end_layout

\begin_deeper
\begin_layout Standard
It is important to note that, because 
\emph on
variables
\emph default
 must store information about which relations they occur in, it is a very
 bad idea to use 
\family sans
UNIVERSAL
\family default
 typed variables in relations.
 The construction and maintenance of the relation list becomes very expensive
 for universal variables.
 
\family sans
UNIVERSAL
\family default
 
\emph on
constants
\emph default
 are fine to use, though, because there are no relation links for constants.
\end_layout

\begin_layout Section
Models
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
MODEL
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
MODEL
\end_layout

\end_inset

 An ASCEND model has a declarative part and an optional procedural part
 headed by the METHODS word.
 Models are essentially containers for variables and relations.
 We will explain the various statements that can be made within models in
 Section 
\begin_inset CommandInset ref
LatexCommand vref
reference "sec:x.3Declarative-statements"

\end_inset

 and Section 
\begin_inset CommandInset ref
LatexCommand vref
reference "sec:x.4Procedural-statements"

\end_inset

.
\end_layout

\begin_layout Standard
Simple
\begin_inset space ~
\end_inset

models
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
models, simple
\end_layout

\end_inset

:
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
foo 
\family typewriter

\begin_inset space ~
\end_inset


\begin_inset space ~
\end_inset


\begin_inset space ~
\end_inset


\begin_inset space ~
\end_inset

MODEL foo;
\end_layout

\begin_deeper
\begin_layout LyX-Code
(* statements about foo go here*)
\end_layout

\begin_layout LyX-Code
METHODS
\end_layout

\begin_layout LyX-Code
(* METHODs for foo go here*)
\end_layout

\begin_layout LyX-Code
END foo;
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
bar 
\family typewriter

\begin_inset space ~
\end_inset


\begin_inset space ~
\end_inset


\begin_inset space ~
\end_inset


\begin_inset space ~
\end_inset

MODEL bar REFINES foo;
\end_layout

\begin_deeper
\begin_layout LyX-Code
(*additional statements about foo *)
\end_layout

\begin_layout LyX-Code
METHODS
\end_layout

\begin_layout LyX-Code
(* additional METHODs for bar *)
\end_layout

\begin_layout LyX-Code
END bar;
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Parameterized
\begin_inset space ~
\end_inset

Models
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
models, parameterized
\end_layout

\end_inset

 Parameterizing models makes them easier to understand and faster for the
 system to compile.
 The syntax for a parameterized model vaguely resembles a function call
 in imperative languages, but it is NOT.
 When constructing a reusable model, all the constants that determine the
 sizes of arrays and other structures should be declared in the parameter
 list so that 
\end_layout

\begin_deeper
\begin_layout Itemize
the user knows what is required to reuse the model.
\end_layout

\begin_layout Itemize
the compiler knows what values must be set before it should bother attempting
 to compile the model.
\end_layout

\begin_layout Standard
There is no reason that other items could not also go in the parameter list,
 such as key variables which might be considered inputs or outputs or control
 parameters in the mathematical application of the model.
 A simple example of parameterization would be:
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
column(n,s) 
\end_layout

\begin_deeper
\begin_layout LyX-Code
MODEL column(
\end_layout

\begin_layout LyX-Code
   ntrays WILL_BE integer_constant; 
\end_layout

\begin_layout LyX-Code
   components IS_A set of symbol_constant;
\end_layout

\begin_layout LyX-Code
);
\end_layout

\begin_layout LyX-Code
stage[1..ntrays] IS_A simple_tray;
\end_layout

\begin_layout LyX-Code
END column;
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
flowsheet
\end_layout

\begin_deeper
\begin_layout LyX-Code
MODEL flowsheet;
\end_layout

\begin_layout LyX-Code
   tower4size IS_A integer_constant;
\end_layout

\begin_layout LyX-Code
   tower4size :== 22;
\end_layout

\begin_layout LyX-Code
   ct IS_A column(tower4size,[c5,c6]);
\end_layout

\begin_layout LyX-Code
   (* additional flowsheet statements *)
\end_layout

\begin_layout LyX-Code
END flowsheet;
\end_layout

\begin_layout Standard
In this example, the column model takes the first argument, ntrays, by reference.
 That is, 
\family typewriter
ct.ntrays
\family default
 is an alias for the flowsheet instance 
\family typewriter
tower4size
\family default
.
 
\family typewriter
tower4size
\family default
 must be compiled and assigned a value before we will attempt to compile
 the column model instance 
\family typewriter
ct
\family default
.
 The second argument is taken by value, 
\family typewriter
[c5,c6]
\family default
, and assigned to components, a column part that was declared with 
\family sans
IS_A
\family default
 in the parameter list.
 There is only one name for this set, 
\family typewriter
ct.components
\family default
.
 Note that in the 
\family typewriter
flowsheet
\family default
 model there is no part that is a set of 
\family sans
symbol_constant
\family default
.
 
\end_layout

\begin_layout Standard
The use of parameters in ASCEND modeling requires some thought, and we will
 present that set of thoughts in Section 
\begin_inset CommandInset ref
LatexCommand vref
reference "sec:x.5Parameterized-models"

\end_inset

.
 Beginners may wish to create new models without parameters until they are
 comfortable using the existing parameterized library definitions.
 Parameters are intended to support model reuse and efficient compilation
 which are not issues in the very earliest phase of developing novel models.
\end_layout

\begin_layout Section
Sets
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
sets
\end_layout

\end_inset


\begin_inset CommandInset label
LatexCommand label
name "sub:x.2.2Sets"

\end_inset


\end_layout

\begin_layout Standard
Arrays in ASCEND, as already discussed in Section 
\begin_inset CommandInset ref
LatexCommand vref
reference "sub:x.1.2Basic-Elements"

\end_inset

, are defined over sets.
 A set is simply an instance with a set value.
 The elements of sets are 
\emph on
not
\emph default
 instances or sets.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Set
\begin_inset space ~
\end_inset

Declaration:
\bar default
 A set is made of either symbol_constants or integer_constants, so a set
 object is declared in one of two ways:
\end_layout

\begin_deeper
\begin_layout LyX-Code
my_integer_set IS_A set OF integer_constant;
\end_layout

\begin_layout Standard
or
\end_layout

\begin_layout LyX-Code
my_symbol_set IS_A set OF symbol_constant;
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
:==
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
:==
\end_layout

\end_inset

 A set is assigned a value like so:
\end_layout

\begin_deeper
\begin_layout LyX-Code
my_integer_set :== [1,4];
\end_layout

\begin_layout Standard
The RHS of such an assignment must be either the name of another set instance
 or an expression enclosed in square brackets and made up of only set operators,
 other sets, and the names of integer_constants or symbol_constants.
 Sets can only be assigned once.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Set
\begin_inset space ~
\end_inset

Operations
\bar default
 
\family sans
UNION
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
UNION
\end_layout

\end_inset


\family typewriter
[setlist]
\end_layout

\begin_deeper
\begin_layout Standard
A function taken over a list of sets.
 The result is the set that includes all the members of all the sets in
 the list.
 Note that the result of the 
\family sans
UNION
\family default
 operation is an unordered set and the argument order to the union function
 does not matter.
 The syntax is:
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
+
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
+, sets
\end_layout

\end_inset

 
\family typewriter
UNION[list_of_sets]
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
A+B
\family default

\begin_inset space ~
\end_inset

is
\begin_inset space ~
\end_inset

shorthand
\begin_inset space ~
\end_inset

for 
\family typewriter
UNION[A,B]
\end_layout

\begin_deeper
\begin_layout Standard
Consider the following sets for the examples to follow.
\end_layout

\begin_layout LyX-Code
A := [1, 2, 3, 5, 9];
\end_layout

\begin_layout LyX-Code
B := [2, 4, 6, 8];
\end_layout

\begin_layout Standard
Then 
\family typewriter
UNION[A, B]
\family default
 is equal to the set 
\family typewriter
[1, 2, 3, 4, 5, 6, 8, 9]
\family default
 which equals 
\family typewriter
[1..6, 8, 9]
\family default
 which equals 
\family typewriter
[[1..9] - [7]]
\family default
.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
INTERSECTION
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
INTERSECTION
\end_layout

\end_inset

[] INTERSECTION[list of set expressions].
 Finds the intersection (and) of the sets listed.
 
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
*
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
*, sets
\end_layout

\end_inset

 Equivalent to 
\family sans
INTERSECTION
\family typewriter
[list_of_sets]
\family default
.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
A*B
\family default

\begin_inset space ~
\end_inset

is
\begin_inset space ~
\end_inset

shorthand
\begin_inset space ~
\end_inset

for
\begin_inset space ~
\end_inset

I
\family typewriter
NTERSECTION[A,B]
\end_layout

\begin_deeper
\begin_layout Standard
For the sets A and B defined just above, 
\family typewriter
INTERSECTION[A, B]
\family default
 is the set 
\family typewriter
[2]
\family default
.
 The 
\family typewriter
*
\family default
 shorthand for intersection is 
\emph on
not
\emph default
 recommended for use except in libraries no one will look at.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Set
\begin_inset space ~
\end_inset

difference
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
set difference
\end_layout

\end_inset

: One can subtract one set from another.
 The result is the first set less any members in the set union of the first
 and second set.
 The syntax is
\end_layout

\begin_deeper
\begin_layout LyX-Code

\family typewriter
first_set
\family default
 -
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
-, sets
\end_layout

\end_inset

 
\family typewriter
second_set
\end_layout

\begin_layout Standard
For the sets 
\family typewriter
A
\family default
 and 
\family typewriter
B
\family default
 defined above, the set difference 
\family typewriter
A - B
\family default
 is the set 
\family typewriter
[1, 3, 5, 9]
\family default
 while the set difference 
\family typewriter
B - A
\family default
 is the set 
\family typewriter
[4, 6, 8]
\family default
.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
CARD
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
CARD
\end_layout

\end_inset

[set] Cardinality
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
cardinality
\end_layout

\end_inset

.
 Returns an integer constant value that is the number of items in the set.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
CHOICE
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
CHOICE
\end_layout

\end_inset

[set] Choose one.
 The result of running the 
\family sans
CHOICE
\family default
 function over a set is an arbitrary (but consistent: for any set instance
 you always get the same result) single element of that set.
 
\end_layout

\begin_deeper
\begin_layout Standard
Running 
\family typewriter
CHOICE[A]
\family default
 gives any member from the set A.
 The result is a member, not a set.
 To make the result into a set, it must be enclosed in square brackets.
 Thus 
\family typewriter
[CHOICE[A]]
\family default
 is a set with a single element arbitrarily chosen from the set A.
 Good modelers do not leave modeling decisions to the compiler; they do
 not use 
\family sans
CHOICE
\family default
.
 We are stuck with it for historical reasons.
\end_layout

\begin_layout Standard
To reduce a set by one element, one can use the following
\end_layout

\begin_layout LyX-Code
A_less_one IS_A set OF integer;
\end_layout

\begin_layout LyX-Code
A_less_one :== A - [CHOICE[A]];
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
IN
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
IN
\end_layout

\end_inset

 
\family typewriter
lhs IN rhs
\family default
 can only be well explained by examples.
 
\family sans
IN
\family default
 is used in index expressions.
 If 
\family typewriter
lhs
\family default
 is a simple and not previously defined name, it is created as a temporary
 loop index which will take on the values of the rhs set definition.
 If lhs is something that already exists, the result of 
\family typewriter
lhs IN rhs
\family default
 is a boolean value; stare at the model 
\family typewriter
set_example
\family default
 below which demonstrates both 
\family sans
IN
\family default
 and 
\family sans
SUCH_THAT
\family default
.
 If you still are not satisfied, you might examine [[westerbergksets]]
\begin_inset Note Note
status open

\begin_layout Plain Layout
fix this reference
\end_layout

\end_inset

.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
SUCH_THAT
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
SUCH
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
_
\end_layout

\end_inset

THAT
\end_layout

\end_inset

 Set expressions can be rather clever.
 We will give a detailed example from chemistry because unordered sets are
 unfamiliar to most people and set arithmetic is quite powerful.
 In this example we see arrays of sets and sparse arrays.
 
\end_layout

\begin_layout LyX-Code
MODEL set_example;
\end_layout

\begin_layout LyX-Code
  (* we define a sparse matrix of reaction
\end_layout

\begin_layout LyX-Code
     coefficient information and the species
\end_layout

\begin_layout LyX-Code
     balance equations.
 *) 
\end_layout

\begin_layout LyX-Code
  rxns IS_A set OF integer_constant;
\end_layout

\begin_layout LyX-Code
  rxns :== [1..3];
\end_layout

\begin_layout LyX-Code
  species IS_A set OF symbol_constant;
\end_layout

\begin_layout LyX-Code
  species :== ['A','B','C','D'];
\end_layout

\begin_layout LyX-Code
  reactants[rxns] IS_A set OF symbol_constant; (* species
\end_layout

\begin_layout LyX-Code
     in each rxn_j *)
\end_layout

\begin_layout LyX-Code
  reactants[1] :== ['A','B','C'];
\end_layout

\begin_layout LyX-Code
  reactants[2] :== ['A','C'];
\end_layout

\begin_layout LyX-Code
  reactants[3] :== ['A','B','D'];
\end_layout

\begin_layout LyX-Code
  reactions[species] IS_A set OF integer_constant; 
\end_layout

\begin_layout LyX-Code
  FOR i IN species CREATE (* rxns for each species i *)
\end_layout

\begin_layout LyX-Code
    reactions[i] :== [j IN rxns SUCH_THAT i IN reactants[j]];
\end_layout

\begin_layout LyX-Code
  END FOR;
\end_layout

\begin_layout LyX-Code
  (* Define sparse stoichiometric matrix.
 Values of eta_ij
\end_layout

\begin_layout LyX-Code
     set later.*)
\end_layout

\begin_layout LyX-Code
  FOR j IN rxns CREATE
\end_layout

\begin_layout LyX-Code
    FOR i IN reactants[j] CREATE
\end_layout

\begin_layout LyX-Code
      (* eta_ij --> mole i/mole rxn j*)
\end_layout

\begin_layout LyX-Code
      eta[i][j] IS_A real_constant; 
\end_layout

\begin_layout LyX-Code
    END FOR;
\end_layout

\begin_layout LyX-Code
  END FOR;
\end_layout

\begin_layout LyX-Code
  production[species] IS_A molar_rate;
\end_layout

\begin_layout LyX-Code
  rate[rxns] IS_A molar_rate; (* mole rxn j/time *)
\end_layout

\begin_layout LyX-Code
  FOR i IN species CREATE
\end_layout

\begin_layout LyX-Code
    gen_eqn[i]: production[i] = 
\end_layout

\begin_layout LyX-Code
    SUM[eta[i][j]*rate[j] | j IN reactions[i]];
\end_layout

\begin_layout LyX-Code
  END FOR;
\end_layout

\begin_layout LyX-Code
END set_example;
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
"
\family typewriter
|
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
\begin_inset ERT
status collapsed

\begin_layout Plain Layout

|
\end_layout

\end_inset


\end_layout

\end_inset

" is shorthand for 
\family sans
SUCH_THAT
\family default
.
\end_layout

\begin_deeper
\begin_layout Standard
The array 
\family typewriter
eta
\family default
 has only 8 elements, and we defined those elements in a set for each reaction.
 The equation needs to know about the set of reactions for a species 
\family typewriter
i
\family default
, and that set is calculated automatically in the models first 
\family sans
FOR/CREATE
\family default
 statement.
 
\end_layout

\begin_layout Standard
The 
\family typewriter
|
\family default
 symbol is the ASCEND III notation for 
\family sans
SUCH_THAT
\family default
.
 We noted that "
\family typewriter
|
\family default
" is often read as "for all", which is different in that "for all" makes
 one think of a 
\family sans
FOR
\family default
 loop where the loop index is on the left of an 
\family sans
IN
\family default
 operator.
 For example, the 
\family typewriter
j
\family default
 loop in the 
\family sans
SUM
\family default
 of 
\family typewriter
gen_eqn[i]
\family default
 above.
 
\end_layout

\begin_layout Section
Constants
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
constants
\end_layout

\end_inset


\end_layout

\begin_layout Standard
ASCEND supports real, integer, boolean and character string constants.
 Constants in ASCEND do not have any attributes other than their value.
 Constants are scalar quantities that can be assigned exactly once.
 Constants may only be assigned using the 
\family typewriter
:==
\family default
 operator and the RHS expression they are assigned from must itself be constant.
 Constants do not have subparts.
 Integer and symbol constants may be used in determining the definitions
 of sets.
 
\end_layout

\begin_layout Standard
Explicit refinements of the built-in constant types may be defined as exemplifie
d in the description of real_constant.
 Implicit type refinements may be done by instantiating an incompletely
 defined constant and assigning its final value.
 
\end_layout

\begin_layout Standard
Sets could be considered constant because they are assigned only once, however
 sets are described separately because they are not quite scalar quantities.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
real_constant
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
real
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
_
\end_layout

\end_inset

constant
\end_layout

\end_inset

 Real number with dimensionality.
 Note that the dimensionality of a real constant can be specified via the
 type definition without immediately defining the value, as in the following
 pair of definitions.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
CONSTANT
\begin_inset space ~
\end_inset

declaration
\begin_inset space ~
\end_inset

example:
\end_layout

\begin_deeper
\begin_layout LyX-Code
CONSTANT molar_weight
\end_layout

\begin_layout LyX-Code
   REFINES real_constant DIMENSION M/Q;
\end_layout

\begin_layout LyX-Code
CONSTANT hydrogen_weight
\end_layout

\begin_layout LyX-Code
   REFINES molar_weight :== 1.004{g/mole};
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
integer_constant
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
integer
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
_
\end_layout

\end_inset

constant
\end_layout

\end_inset

 Integer number.
 Principally used in determining model structure.
 If appearing in equations, integers are evaluated as dimensionless reals.
 Typical use is inside a 
\family sans
MODEL
\family default
 definition and looks like:
\end_layout

\begin_deeper
\begin_layout LyX-Code
n_trays IS_A integer_constant;
\end_layout

\begin_layout LyX-Code
n_trays :== 50;
\end_layout

\begin_layout LyX-Code
tray[1..n_trays] IS_A vl_equilibrium_tray;
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
symbol_constant
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
symbol
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
_
\end_layout

\end_inset

constant
\end_layout

\end_inset

 Object with a symbol value.
 May be used in determining model structure.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
boolean_constant
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
boolean
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
_
\end_layout

\end_inset

constant
\end_layout

\end_inset

 Logical value.
 May be used in determining model structure.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Setting
\begin_inset space ~
\end_inset

constants
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
constants, setting
\end_layout

\end_inset


\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
:==
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
:==
\end_layout

\end_inset

 Constant and set assignment operator.
 
\end_layout

\begin_deeper
\begin_layout Standard
It is suggested, but not required, that names of all types that refine the
 built-in constant types have names that end in _constant.
\end_layout

\begin_layout LyX-Code
LHS_list :== RHS; 
\end_layout

\begin_layout Standard
Here it is required that the one or more items in the LHS be of the same
 constant type and that RHS is a single-valued expression made up of values,
 operators, and other constants.
 The 
\family typewriter
:==
\family default
 is used to make clear to both the user and the system what scalar objects
 are constants.
 
\end_layout

\begin_layout Section
Variables
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
variables
\end_layout

\end_inset


\end_layout

\begin_layout Standard
There are four built-in types which may be used to construct variables:
 symbol, boolean, integer, and real.
 At this time symbol types have special restrictions.
 Refinements of these variable base types are defined with the 
\family sans
ATOM
\family default
 statement.
 Atom types may declare attribute fields with types real, integer, boolean,
 symbol, and set.
 These attributes are 
\emph on
not
\emph default
 independent objects and therefore cannot be refined, merged, or put in
 a refinement clique (
\family sans
ARE_ALIKE
\family default
d).
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
ATOM
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
ATOM
\end_layout

\end_inset

 The syntax for declaring a new atom type is
\end_layout

\begin_deeper
\begin_layout LyX-Code
ATOM 
\emph on
atom_type_name
\emph default
 REFINES 
\emph on
variable_type
\end_layout

\begin_layout LyX-Code
   «DIMENSION 
\emph on
dimension_expression
\emph default
»
\end_layout

\begin_layout LyX-Code
   «DEFAULT 
\emph on
value
\emph default
»; (* note the ; *)
\end_layout

\begin_layout LyX-Code
   «
\emph on
initial attribute assignment
\emph default
;»
\end_layout

\begin_layout LyX-Code
END 
\emph on
atom_type_name
\emph default
;
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
DEFAULT
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
DEFAULT
\end_layout

\end_inset

,
\family sans

\begin_inset space ~
\end_inset

DIMENSION
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
DIMENSION
\end_layout

\end_inset

,
\begin_inset space ~
\end_inset

and
\begin_inset space ~
\end_inset


\family sans
DIMENSIONLESS
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
DIMENSIONLESS
\end_layout

\end_inset


\end_layout

\begin_deeper
\begin_layout Standard
The 
\family sans
DIMENSION
\family default
 attribute is for variables whose base type is real.
 It is an optional field.
 If not defined for any atom with base type real, the dimensions will be
 left as undefined.
 Any variable which is later declared to be one of these types will be given
 wild card dimensionality (represented in the interactive display by an
 asterisk (*)).
 The system will deduce the dimensionality from its use in the relationships
 in which it appears or in the declaring of default values for it, if possible.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
solver_var
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
solver
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
_
\end_layout

\end_inset

var
\end_layout

\end_inset

 is a special case of 
\family sans
ATOM
\family default
 and we will say much more about it in Section 
\begin_inset CommandInset ref
LatexCommand vref
reference "sub:x.6.1Variables-for-solvers"

\end_inset

.
\end_layout

\begin_deeper
\begin_layout LyX-Code
ATOM solver_var REFINES real DEFAULT 0.5 {?
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
?
\end_layout

\end_inset

};
\end_layout

\begin_layout LyX-Code
   lower_bound IS_A real;
\end_layout

\begin_layout LyX-Code
   upper_bound IS_A real;
\end_layout

\begin_layout LyX-Code
   nominal IS_A real;
\end_layout

\begin_layout LyX-Code
   fixed IS_A boolean;
\end_layout

\begin_layout LyX-Code
   fixed := FALSE;
\end_layout

\begin_layout LyX-Code
   lower_bound := -1e20 {?};
\end_layout

\begin_layout LyX-Code
   upper_bound := 1e20 {?};
\end_layout

\begin_layout LyX-Code
   nominal := 0.5 {?};
\end_layout

\begin_layout LyX-Code
END solver_var;
\end_layout

\begin_layout Standard
The default field is also optional.
 If the atom has a declared dimensionality, then this value must be expressed
 with units which are compatible with this dimensionality.
 In the solver_var example, we see a DEFAULT value of 0.5 with the unspecified
 unit
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
unit, unspecified
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
unspecified unit
\end_layout

\end_inset

 {?
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout

\end_layout

\end_inset

} which leaves the dimensionality wild
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
wild dimensionality
\end_layout

\end_inset

.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
real
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
real
\end_layout

\end_inset

 Real valued variable quantity.
 At present, all variables that you want to be attended to by solver tools
 must be refinements of the type solver_var.
 This is so that modifiable parametric values can be included in equations
 without treating them as variables.
 Strictly speaking, this is a characteristic of the solver interface and
 not the ASCEND language.
 Each tool in the total ASCEND system may have its own semantics that go
 beyond the ASCEND object definition language.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
integer
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
integer
\end_layout

\end_inset

 Integer valued variable quantity.
 We find these mighty convenient for use in certain procedural computations
 and as attributes of solver_var atoms.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
boolean
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
boolean
\end_layout

\end_inset

 Truth valued variable quantity.
 These are principally used as flags on solver_vars and relations.
 They can also be used procedurally and as variables in logical programming
 models, subject to the logical solver tools semantics.
 (Compare solver_boolean and boolean_var in Section 
\begin_inset CommandInset ref
LatexCommand vref
reference "sec:x.6Miscellany"

\end_inset

.)
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
symbol
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
symbol
\end_layout

\end_inset

 Symbol valued variable quantity.
 We do not yet have operators for building symbols out of other symbols.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Setting
\begin_inset space ~
\end_inset

variables
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
variables, setting
\end_layout

\end_inset


\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
:=
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
:=
\end_layout

\end_inset

 Procedural equals
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
equals, procedural
\end_layout

\end_inset

 differs from the ordinary equals (=) in that it means the left-hand-side
 (LHS) variables are to be assigned the value of the right-hand-side (RHS)
 expression when this statement is processed.
 Processing happens in the last phase of compiling (instantiation) or when
 executing a method interactively through the ASCEND user interface.
 The order the system encounters these statements matters, therefore, with
 a later result overwriting an earlier one if both statements have the same
 the same LHS variable.
 
\end_layout

\begin_deeper
\begin_layout Standard
Note that variable assignments (also known as defaulting statements) written
 in the declarative section are executed only after an instance has been
 fully created.
 This is a frequent source of confusion and errors, therefore we recommend
 that you DO NOT ASSIGN VARIABLES IN THE DECLARATIVE SECTION.
 
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Note
\begin_inset space ~
\end_inset

that
\begin_inset space ~
\end_inset

:=
\begin_inset space ~
\end_inset

IS
\begin_inset space ~
\end_inset

NOT
\begin_inset space ~
\end_inset

=.
\end_layout

\begin_deeper
\begin_layout Standard
We use an ordinary equals (=) when defining a real valued equation to state
 that the LHS expression is to equal the RHS expression at the solution
 for the model.
 We use == for logical equations.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
\begin_inset Note Note
status open

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Tabular
\begin_inset space ~
\end_inset

assignments
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
assignments, tabular
\end_layout

\end_inset

 (* 4+ *) Assigning values en masse to arrays of variables that are defined
 associatively on sets without order presents a minor challenge.
 The solution proposed in ASCEND IV (but not yet implemented as weve not
 had time or significant user demand) is to allow a tabular data statement
 to be used to assign the elements of arrays of variables or constants.
 The DATA statement may be used to assign variables in the declarative or
 methods section of a model (though we discourage its use declaratively
 for variable initialization) or to assign constant arrays of any type,
 including sets, in the declarative section.
 Here are some examples:
\end_layout

\begin_layout LyX-Code
DATA ~(* ~4+ ~*)
\end_layout

\begin_deeper
\begin_layout LyX-Code
MODEL tabular_ex;
\end_layout

\begin_layout LyX-Code
   lset,rset,cset IS_A set OF integer_constant;
\end_layout

\begin_layout LyX-Code
   rset :== [1..3];
\end_layout

\begin_layout LyX-Code
   cset :== rset - [2];
\end_layout

\begin_layout LyX-Code
   lset :== [5,7];
\end_layout

\begin_layout LyX-Code
   a[rset][cset] IS_A real;
\end_layout

\begin_layout LyX-Code
   b[lset][cset][rset] IS_A real_constant; 
\end_layout

\begin_layout LyX-Code
   (* rectangle table *)
\end_layout

\begin_layout LyX-Code
   DATA FOR a:
\end_layout

\begin_layout LyX-Code
   COLUMNS 1,3; (*order last subscript cset*)
\end_layout

\begin_layout LyX-Code
   UNITS {kg/s}, {s}; (* columnar units *)
\end_layout

\begin_layout LyX-Code
   (* give leading subscripts *)
\end_layout

\begin_layout LyX-Code
   [1] 2.8, 0.3;
\end_layout

\begin_layout LyX-Code
   [2] 2.7, 1.3;
\end_layout

\begin_layout LyX-Code
   [3] 3.3, 0.6;
\end_layout

\begin_layout LyX-Code
END DATA;
\end_layout

\begin_layout LyX-Code
(* 2 layer rectangle table *)
\end_layout

\begin_layout LyX-Code
CONSTANT DATA FOR b:
\end_layout

\begin_layout LyX-Code
   COLUMNS 1..3; (* order last subscript
\end_layout

\begin_layout LyX-Code
      rset *)
\end_layout

\begin_layout LyX-Code
   (* UNITS omitted, so either the user gives
\end_layout

\begin_layout LyX-Code
      value in the table or values given are
\end_layout

\begin_layout LyX-Code
      DIMENSIONLESS.
 *)
\end_layout

\begin_layout LyX-Code
   (* ordering over [lset][cset] required *)
\end_layout

\begin_layout LyX-Code
   [5][1] 3 {m}, 2{m}, 1{m};
\end_layout

\begin_layout LyX-Code
   [5][3] 0.1, 0.2, 0.3;
\end_layout

\begin_layout LyX-Code
   [7][1] -3 {m/s}, -2{m/s}, -1{m/s};
\end_layout

\begin_layout LyX-Code
   [7][3] 4.1 {1/s}, 4.2 {1/s}, 4.3 {1/s};
\end_layout

\begin_layout LyX-Code
END DATA;
\end_layout

\begin_layout LyX-Code
END tabular_ex;
\end_layout

\begin_layout Plain Layout
For sparse arrays of variables or constants, the COLUMNS and (possibly)
 UNITS keywords are omitted and the array subscripts are simply enumerated
 along with the values to be assigned.
\end_layout

\end_deeper
\end_inset


\end_layout

\begin_deeper
\begin_layout Standard

\end_layout

\begin_layout Section
Relations
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
relations
\end_layout

\end_inset


\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Mathematical
\begin_inset space ~
\end_inset

expression
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
mathematical expression
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
expression, math
\end_layout

\end_inset

:
\end_layout

\begin_deeper
\begin_layout Standard
The syntax for a mathematical expression is any legal combination of variable
 names and arithmetic operators in the normal notation.
 An expression may contain any number of matched rounded parentheses, (),
 to clarify meaning.
 The following is a legal arithmetic expression:
\end_layout

\begin_layout LyX-Code
y^2+(sin(x)-tan(z))*q
\end_layout

\begin_layout Standard
Each additive term in a mathematical expression (terms are separated by
 + or - operators) must have the same dimensionality.
\end_layout

\begin_layout Standard
An expression may contain an index variable as a part of the calculation
 if that index variable is over a set whose elements are of type integer.
 (See the 
\family sans
FOR/CREATE
\family default
 and 
\family sans
FOR/DO
\family default
 statements below.) An example is:
\end_layout

\begin_layout LyX-Code
term[i] = a[i]*x^(i-1);
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Numerical
\begin_inset space ~
\end_inset

relations
\bar default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
relations, numerical
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
numerical relations
\end_layout

\end_inset


\end_layout

\begin_deeper
\begin_layout Standard
The syntax for a numeric relation is either
\end_layout

\begin_layout LyX-Code

\emph on
optional_label
\emph default
: 
\emph on
LHS relational_operator RHS
\emph default
;
\end_layout

\begin_layout Standard
or
\end_layout

\begin_layout LyX-Code

\emph on
optional_label
\emph default
: 
\emph on
objective_type LHS
\emph default
;
\end_layout

\begin_layout Standard
Objective_type is either 
\family sans
MAXIMIZE
\family default
 or 
\family sans
MINIMIZE
\family default
.
 RHS and LHS must be one or more variables, constants, and operators in
 a normal algebraic expression.
 The operators allowed are defined below and in Section 
\begin_inset CommandInset ref
LatexCommand vref
reference "sub:x.6.3Single-operand-real"

\end_inset

.
 Variable integers, booleans, and symbols are not allowed as operands in
 numerical relations, nor are boolean constants.
 Integer indices declared in 
\family sans
FOR/CREATE
\family default
 loops are allowed in relations, and they are treated as integer constants.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Relational
\begin_inset space ~
\end_inset

operators
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
operators, relational
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
relational operators
\end_layout

\end_inset

:
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
=
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
=
\end_layout

\end_inset

,
\begin_inset space ~
\end_inset

>=
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
 >=
\end_layout

\end_inset

,
\begin_inset space ~
\end_inset

<=
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
<=
\end_layout

\end_inset

,
\begin_inset space ~
\end_inset

<
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
<
\end_layout

\end_inset

,
\begin_inset space ~
\end_inset

>
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
>
\end_layout

\end_inset

,
\begin_inset space ~
\end_inset

<>
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
<>
\end_layout

\end_inset

 These are the numerical relational operators for declarative use.
\end_layout

\begin_deeper
\begin_layout LyX-Code
Ftot*y['methane'] = m['methane'];
\end_layout

\begin_layout LyX-Code
y['ethanol'] >= 0;
\end_layout

\begin_layout Standard
Equations must be dimensionally correct.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
MAXIMIZE
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
MAXIMIZE
\end_layout

\end_inset

,
\begin_inset space ~
\end_inset


\family sans
MINIMIZE
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
MINIMIZE
\end_layout

\end_inset


\end_layout

\begin_deeper
\begin_layout Standard
Objective function indicators.
 
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Binary
\begin_inset space ~
\end_inset

Operators
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
operators, binary
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
binary operators
\end_layout

\end_inset

:
\bar default
 +, -, *, /, ^.
 We follow the usual algebraic order of operations for binary operators.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
+
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
+, binary math
\end_layout

\end_inset

 Plus.
 Numerical addition or set union.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
-
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
-, binary math
\end_layout

\end_inset

 Minus.
 Numerical subtraction or set difference.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
*
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
*, binary math
\end_layout

\end_inset

 Times.
 Numerical multiplication or set intersection.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
/
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
/
\end_layout

\end_inset

 Divide.
 Numeric division.
 In most cases it implies real division and not integer division.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
^ Power
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
power
\end_layout

\end_inset

.
 Numeric exponentiation.
 If the value of y in x^y is not integer, then x must be greater than 0.0
 and dimensionless.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Unary
\begin_inset space ~
\end_inset

Operators
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
operators, unary
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
unary operators
\end_layout

\end_inset

:
\bar default
 -
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
-, unary
\end_layout

\end_inset

, ordered_function()
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
- Unary minus.
 Numeric negation.
 There is no unary +
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
+, math unary
\end_layout

\end_inset

 operator.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family typewriter
ordered_function
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
ordered
\begin_inset ERT
status collapsed

\begin_layout Plain Layout


\backslash
_
\end_layout

\end_inset

function
\end_layout

\end_inset

()
\family default
 unary real valued functions.
 The unary real functions we support are given in section Section 
\begin_inset CommandInset ref
LatexCommand vref
reference "sub:x.6.3Single-operand-real"

\end_inset

.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
Real
\begin_inset space ~
\end_inset

functions
\begin_inset space ~
\end_inset

of
\begin_inset space ~
\end_inset

sets
\begin_inset space ~
\end_inset

of
\begin_inset space ~
\end_inset

real
\begin_inset space ~
\end_inset

terms:
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\family sans
SUM
\family default

\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
SUM
\end_layout

\end_inset


\family typewriter
[term
\begin_inset space ~
\end_inset

set]
\family default
 Add all expressions in the functions list.
\end_layout

\begin_deeper
\begin_layout Standard
For the 
\family sans
SUM
\family default
, the base type real items can be arbitrary arithmetic expressions.
 The resulting items must all be dimensionally compatible.
\end_layout

\begin_layout Standard
An examples of the use is:
\end_layout

\begin_layout LyX-Code
SUM[y[components]] = 1;
\end_layout

\begin_layout Standard
or, equivalently, one could write:
\end_layout

\begin_layout LyX-Code
SUM[y[i] | i IN components] = 1;
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Empty
\begin_inset space ~
\end_inset


\family sans
SUM
\family default

\begin_inset space ~
\end_inset

yields
\begin_inset space ~
\end_inset

wildcard
\begin_inset space ~
\end_inset


\family typewriter
0
\family default
.
\end_layout

\begin_deeper
\begin_layout Standard
When a 
\family sans
SUM
\family default
 is compiled over a list which is empty it generates a wildcard-dimensioned
 
\family typewriter
0
\family default
.
 This will sometimes cause our dimension checking routines to fail.
 The best way to prevent this is to make sure the SUM never actually encounters
 an empty list.
 For example:
\end_layout

\begin_layout LyX-Code
SUM[Q[possibly_empty_set], 0{watt}];
\end_layout

\begin_layout Standard
In the above, the variables 
\family typewriter
Q[i]
\family default
 (if they exist) have the dimensionality associated with an energy rate.
 When the set is empty, the 
\family typewriter
0
\family default
 is the only term in the 
\family sans
SUM
\family default
 and establishes the dimensionality of the result.
 When the set is 
\emph on
not
\emph default
 empty the compiler will simplify away the trailing 
\family typewriter
0
\family default
 in the sum.
\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
PROD
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
PROD
\end_layout

\end_inset

[term
\begin_inset space ~
\end_inset

set] Multiply all the expressions in the products list.
 The product of an empty list is a dimensionless value, 1.0.
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000

\bar under
Possible
\begin_inset space ~
\end_inset

future
\begin_inset space ~
\end_inset

functions:
\end_layout

\begin_deeper
\begin_layout Standard
(Not implemented - only under confused consideration at this time.) The following
 functions only work in methods as they are not smooth function and would
 destroy a Newton-based solution algorithm if used in defining a model equation:
\begin_inset Note Note
status open

\begin_layout Plain Layout
Clarification required
\end_layout

\end_inset


\end_layout

\end_deeper
\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
MAX
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
MAX
\end_layout

\end_inset

[term
\begin_inset space ~
\end_inset

set] (* 4+ *) maximum value on list of arguments
\end_layout

\begin_layout Labeling
\labelwidthstring 00000.00000.00000.000
MIN
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
MIN
\end_layout

\end_inset

[term
\begin_inset space ~
\end_inset

set] (* 4+ *) minimum value on list of arguments
\end_layout

\begin_deeper
\begin_layout Standard
\begin_inset Note Note
status open

\begin_layout Section
Derivatives
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
derivatives
\end_layout

\end_inset

 in relations
\end_layout

\begin_layout Plain Layout
Simply put, we would like to have general partial and full derivatives usable
 in writing equations, as there are many mathematically interesting things
 that can be said about both.
 We have not implemented such things yet for lack of time and because with
 several implementations (see gPROMS and OMOLA, among others) already out
 there we cant see too many research points to be gained by more derivative
 work.
\end_layout

\end_inset


\end_layout

\begin_layout Section
External relations
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
relations, external
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
external relations
\end_layout

\end_inset

 
\end_layout

\begin_layout Standard
We cannot document these at the present time.
 Some details are available in Kirk Abbott's thesis 
\begin_inset CommandInset citation
LatexCommand cite
key "Abbott1996a"

\end_inset

, or check the wiki at 
\family sans
http://ascendwiki.cheme.cmu.edu/
\end_layout

\begin_layout Section
Conditional modelling
\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
relations, conditional
\end_layout

\end_inset


\begin_inset Index idx
status collapsed

\begin_layout Plain Layout
conditional relations
\end_layout

\end_inset


\end_layout

\begin_layout Subsection
Conditional relations
\end_layout

\begin_layout Standard
The syntax is 
\end_layout

\begin_layout LyX-Code
CONDITIONAL 
\end_layout

\begin_layout LyX-Code
 
\emph on
  list_of_relation_statements
\end_layout