Skip to content

Commit

Permalink
up
Browse files Browse the repository at this point in the history
  • Loading branch information
TorkelE committed Dec 30, 2023
1 parent cb6c12d commit 50a96d7
Show file tree
Hide file tree
Showing 2 changed files with 33 additions and 24 deletions.
23 changes: 16 additions & 7 deletions docs/src/catalyst_functionality/chemistry_related_functionality.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ While Catalyst has primarily been designed around the modelling of biological sy

## Modelling with compound species

#### Creating compound species programmatically
### Creating compound species programmatically
We will first show how to create compound species through [programmatic model construction](@ref programmatic_CRN_construction), and then demonstrate using the DSL. To create a compound species, use the `@compound` macro, first designating the compound, followed by its components (and their stoichiometries). In this example, we will create a CO₂ molecule, consisting of one C atom and two O atoms. First, we create species corresponding to the components:
```@example chem1
using Catalyst
Expand All @@ -17,7 +17,7 @@ Next, we create the `CO2` compound species:
```@example chem1
@compound CO2 ~ C + 2O
```
Here, the compound is the first argument to the macro, followed by its component (with the left-hand and right-hand sides separated by a `~` sign). While non-compound species (such as `C` and `O`) have their independent variable (in this case `t`) designated, independent variables are not designated for compounds (these are instead directly inferred from their components). Components with non-unit stoichiometries have this value written before the component (generally, the rules for designating the components of a compound are identical to those of designating the substrates or products of a reaction). The created compound, `CO2`, is also a species, and can be used wherever e.g. `C` can be used:
Here, the compound is the first argument to the macro, followed by its component (with the left-hand and right-hand sides separated by a `~` sign). While non-compound species (such as `C` and `O`) have their independent variable (in this case `t`) designated, independent variables are generally not designated for compounds (these are instead directly inferred from their components). Components with non-unit stoichiometries have this value written before the component (generally, the rules for designating the components of a compound are identical to those of designating the substrates or products of a reaction). The created compound, `CO2`, is also a species, and can be used wherever e.g. `C` can be used:
```@example chem1
isspecies(CO2)
```
Expand Down Expand Up @@ -53,7 +53,7 @@ When multiple compounds are created, they can be created simultaneously using th
end
```

#### Creating compound species within the DSL
### Creating compound species within the DSL
It is also possible to declare species as compound species within the `@reaction_network` DSL, using the `@compounds` options:
```@example chem1
rn = @reaction_network begin
Expand All @@ -63,12 +63,12 @@ rn = @reaction_network begin
H2O ~ 2H + O
H2CO3 ~ CO2 + H2O
end
(k1,k2), H2O+ CO2 <--> H2CO3
(k1,k2), H2O + CO2 <--> H2CO3
end
```
When creating compound species using the DSL, it is important to note that *every component must be known to the system as a species, either by being declared using the `@species` option, or by appearing in a reaction*. E.g. the following is not valid
When creating compound species using the DSL, it is important to note that *every component must be known to the system as a species, either by being declared using the `@species` or `@compound` options, or by appearing in a reaction*. E.g. the following is not valid
```julia
rn = @reaction_network begin
rn = @reaction_network begin``
@compounds begin
C2O ~ C + 2O
H2O ~ 2H + O
Expand All @@ -79,7 +79,7 @@ end
```
as the components `C`, `H`, and `O` are not declared as a species anywhere. Please also note that only `@compounds` can be used as an option in the DSL, not `@compound`.

#### Designating metadata and default values for compounds
### Designating metadata and default values for compounds
Just like for normal species, it is possible to designate metadata and default values for compounds. Metadata is provided after the compound name, but separated from it by a `,`:
```@example chem1
@compound (CO2, [unit="mol"]) ~ C + 2O
Expand All @@ -94,6 +94,15 @@ If both default values and meta data are provided, the metadata is provided afte
```
In all of these cases, the side to the left of the `~` must be enclosed within `()`.

### Compounds with multiple independent variables
While we generally do not need to specify independent variables for compound, if the components (together) have more than one independent variable, this have to be done:
```@example chem1
@variables t s
@species N(s) O(t)
@compound NO2(t,s) ~ N + 2O
```
Here, `NO2` depend both on a spatial independent variable (`s`) and a time one (`t`). This is required since, while multiple independent variables can be inferred, their internal order cannot (and must hence be provided by the user).

## Balancing chemical reactions
One use of defining a species as a compound is that they can be used to balance reactions so that the number of components are the same on both sides. Catalyst provides the `balance_reaction` function, which takes a reaction, and returns a balanced version. E.g. let us consider a reaction when carbon dioxide is formed from carbon and oxide `C + O --> CO2`. Here, `balance_reaction` enables us to find coefficients creating a balanced reaction (in this case, where the number of carbon and oxygen atoms are the same on both sides). To demonstrate, we first created the unbalanced reactions:
```@example chem1
Expand Down
34 changes: 17 additions & 17 deletions src/chemistry_functionality.jl
Original file line number Diff line number Diff line change
Expand Up @@ -284,35 +284,35 @@ Example:
```julia
@variables t
@species Si(t) Cl(t) H(t) O(t)
@compound SiCl4(t) = Si + 4Cl
@compound H2O(t) = 2H + O
@compound H4SiO4(t) = 4H + Si + 4O
@compound HCl(t) = H + Cl
rx = Reaction(1.0,[SiCl4,H2O],[H4SiO4,HCl])
@compound SiCl4 ~ Si + 4Cl
@compound H2O ~ 2H + O
@compound H4SiO4 ~ 4H + Si + 4O
@compound HCl ~ H + Cl
rx = @reaction 1.0, SiCl4 + H2O --> H4SiO4 HCl
balance_reaction(rx) # Exactly one solution.
```
```julia
@variables t
@species C(t) H(t) O(t)
@compound CO(t) = C + O
@compound CO2(t) = C + 2O
@compound H2(t) = 2H
@compound CH4(t) = C + 4H
@compound H2O(t) = 2H + O
rx = Reaction(1.0, [CO, CO2, H2], [CH4, H2O])
@compound CO ~ C + O
@compound CO2 ~ C + 2O
@compound H2 ~ 2H
@compound CH4 ~ C + 4H
@compound H2O ~ 2H + O
rx = @reaction 1.0, CO + CO2 + H2--> CH4 H2O
balance_reaction(rx) # Multiple solutions.
```
```julia
@variables t
@species Fe(t) S(t) O(t) H(t) N(t)
@compound FeS2(t) = Fe + 2S
@compound HNO3(t) = H + N + 3O
@compound Fe2S3O12(t) = 2Fe + 3S + 12O
@compound NO(t) = N + O
@compound H2SO4(t) = 2H + S + 4O
rx = Reaction(1.0, [FeS2, HNO3], [Fe2S3O12, NO, H2SO4])
@compound FeS2 ~ Fe + 2S
@compound HNO3 ~ H + N + 3O
@compound Fe2S3O12 ~ 2Fe + 3S + 12O
@compound NO ~ N + O
@compound H2SO4 ~ 2H + S + 4O
rx = @reaction 1.0, FeS2 + HNO3 --> Fe2S3O12 NO + H2SO4
brxs = balance_reaction(rx) # No solution.
```
Expand Down

0 comments on commit 50a96d7

Please sign in to comment.