Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
48 commits
Select commit Hold shift + click to select a range
70c3e74
Merge feos-ad functionalities into feos
prehner Aug 18, 2025
81b045e
rebase
prehner Aug 18, 2025
9ab473a
use first_derivative from quantity for virial coefficients
prehner Aug 18, 2025
3be6e39
Minor optimizations for the ideal gas models
prehner Aug 18, 2025
afaced3
Fix robustness issue in vle_pure_t and revive Estimator interface wit…
prehner Aug 18, 2025
58a038f
fix import
prehner Aug 18, 2025
f0fb586
fix Cargo.toml
prehner Aug 19, 2025
8e9757a
moved GcPcSaftAD and therefore concluded the feos-ad integration
prehner Aug 19, 2025
25c789e
update workflow
prehner Aug 19, 2025
81fc7f8
fix python for gc_pcsaft
prehner Aug 19, 2025
6640601
fixed for gc-pcsaft
prehner Aug 25, 2025
982f421
newest lints
prehner Aug 25, 2025
ba7d6ec
use derivatives with units for state properties
prehner Aug 25, 2025
6112b2a
remove nshare dependency
prehner Aug 25, 2025
3dd4d15
fix dft for PC-SAFT
prehner Aug 29, 2025
71eb3ac
Updated SAFT-VR Mie model
g-bauer Aug 27, 2025
15ff86e
Updated PeTS
g-bauer Aug 27, 2025
23b9348
fix test
prehner Aug 29, 2025
2826fa4
finalized adaption of PC-SAFT family
prehner Aug 30, 2025
24aeafe
update to pyo3 0.26
prehner Aug 30, 2025
9cfafbc
python bindings for the libraries that are already updated
prehner Aug 30, 2025
f80b34e
make ndarray optional (a bit of a mess in the polar terms though :/)
prehner Sep 3, 2025
38147a9
fix dft
prehner Sep 3, 2025
79c76d9
fix sign in hc term
prehner Sep 3, 2025
5d9dc3d
implement AD for all state constructors
prehner Sep 3, 2025
5664a09
updated saftvrqmie and UV
prehner Sep 4, 2025
c2fca34
bikeshedding for the IdealGas traits
prehner Sep 5, 2025
424b778
more ideal gas bikeshedding
prehner Sep 5, 2025
687212a
final(?) ideal gas bikeshed
prehner Sep 5, 2025
4738d5c
fixed stability_analysis
prehner Sep 9, 2025
b6dcf3f
fix markdown and String representations of states
prehner Sep 9, 2025
043875b
fix some regression in the parameter handling in python
prehner Sep 9, 2025
e182cc9
add getters for Identifier
prehner Sep 9, 2025
3d631bc
remove some string allocations
prehner Sep 9, 2025
987bd7f
rebase
prehner Sep 12, 2025
01e98ab
pretty significant bug, no idea why it did not show earlier
prehner Sep 12, 2025
0277e02
fixes for num_dual change
prehner Sep 17, 2025
e575ae6
Fix bubble Newton step for bubble points at given pressure
prehner Sep 17, 2025
b03222a
Add tests for newton methods within bubble and dew point iterations
prehner Sep 17, 2025
f6be6aa
reactivate (and fix) PC-SAFT tests
prehner Sep 17, 2025
d352ed7
update num-dual and quantity dependencies
prehner Sep 28, 2025
bb8f5e5
get rid of most Arcs
prehner Sep 28, 2025
935b651
remove the ResidualConst trait
prehner Sep 29, 2025
6472647
replace PureProperty and BinaryProperty with new Estimator struct
prehner Sep 29, 2025
d51c8d9
rebase
prehner Oct 10, 2025
898c917
adding final docstrings to feos-core
prehner Oct 10, 2025
ba952f5
removed stuff that accidentally ended up here
prehner Oct 10, 2025
3ed1307
make python package usable without the "ad" feature
prehner Oct 10, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
use derivatives with units for state properties
  • Loading branch information
prehner committed Sep 12, 2025
commit ba7d6ec80cd624e0484f703ab50a415e1563ea79
57 changes: 47 additions & 10 deletions crates/feos-core/src/equation_of_state/mod.rs
Original file line number Diff line number Diff line change
@@ -1,11 +1,11 @@
use std::ops::Deref;

use crate::state::StateHD;
use crate::{ReferenceSystem, state::StateHD};
use nalgebra::{
Const, DVector, DefaultAllocator, Dim, Dyn, OVector, SVector, U1, allocator::Allocator,
};
use num_dual::DualNum;
use quantity::MolarWeight;
use quantity::{Energy, MolarEnergy, MolarWeight, Moles, Temperature, Volume};

mod ideal_gas;
mod residual;
Expand Down Expand Up @@ -129,13 +129,13 @@ where
)
}

fn ideal_gas_helmholtz_energy<D2: DualNum<f64, Inner = D> + Copy>(
fn ideal_gas_molar_helmholtz_energy<D2: DualNum<f64, Inner = D> + Copy>(
&self,
temperature: D2,
volume: D2,
moles: &OVector<D2, N>,
molar_volume: D2,
molefracs: &OVector<D2, N>,
) -> D2 {
let partial_density = moles / volume;
let partial_density = molefracs / molar_volume;
let mut res = D2::from(0.0);
for (i, &r) in self.ideal_gas().zip(partial_density.iter()) {
let ln_rho_m1 = if r.re() == 0.0 {
Expand All @@ -145,11 +145,32 @@ where
};
res += r * (i.lift().ln_lambda3(temperature) + ln_rho_m1)
}
res * volume * temperature
res * molar_volume * temperature
}

fn ideal_gas_helmholtz_energy_0(&self, temperature: D, volume: D, moles: &OVector<D, N>) -> D {
let partial_density = moles / volume;
fn ideal_gas_helmholtz_energy_unit<D2: DualNum<f64, Inner = D> + Copy>(
&self,
temperature: Temperature<D2>,
volume: Volume<D2>,
moles: &Moles<OVector<D2, N>>,
) -> Energy<D2> {
let total_moles = moles.sum();
let molefracs = moles / total_moles;
let molar_volume = volume / total_moles;
MolarEnergy::from_reduced(self.ideal_gas_molar_helmholtz_energy(
temperature.into_reduced(),
molar_volume.into_reduced(),
&molefracs,
)) * total_moles
}

fn ideal_gas_molar_helmholtz_energy_0(
&self,
temperature: D,
molar_volume: D,
molefracs: &OVector<D, N>,
) -> D {
let partial_density = molefracs / molar_volume;
let mut res = D::from(0.0);
for (i, &r) in self.ideal_gas().zip(partial_density.iter()) {
let ln_rho_m1 = if r.re() == 0.0 {
Expand All @@ -159,7 +180,23 @@ where
};
res += r * (i.ln_lambda3(temperature) + ln_rho_m1)
}
res * volume * temperature
res * molar_volume * temperature
}

fn ideal_gas_helmholtz_energy_0(
&self,
temperature: Temperature<D>,
volume: Volume<D>,
moles: &Moles<OVector<D, N>>,
) -> Energy<D> {
let total_moles = moles.sum();
let molefracs = moles / total_moles;
let molar_volume = volume / total_moles;
MolarEnergy::from_reduced(self.ideal_gas_molar_helmholtz_energy_0(
temperature.into_reduced(),
molar_volume.into_reduced(),
&molefracs,
)) * total_moles
}
}

Expand Down
16 changes: 16 additions & 0 deletions crates/feos-core/src/equation_of_state/residual.rs
Original file line number Diff line number Diff line change
Expand Up @@ -198,6 +198,22 @@ where
self.reduced_residual_helmholtz_energy_density(&state) * temperature * volume
}

/// Evaluate the residual Helmholtz energy $A^\mathrm{res}$.
fn residual_helmholtz_energy_unit(
&self,
temperature: Temperature<D>,
volume: Volume<D>,
moles: &Moles<OVector<D, N>>,
) -> Energy<D> {
let temperature = temperature.into_reduced();
let total_moles = moles.sum();
let molar_volume = (volume / total_moles).into_reduced();
let molefracs = moles / total_moles;
let state = StateHD::new(temperature, molar_volume, &molefracs);
Pressure::from_reduced(self.reduced_residual_helmholtz_energy_density(&state) * temperature)
* volume
}

/// Check if the provided optional mole number is consistent with the
/// equation of state.
///
Expand Down
184 changes: 27 additions & 157 deletions crates/feos-core/src/state/cache.rs
Original file line number Diff line number Diff line change
@@ -1,19 +1,26 @@
use crate::state::VectorPartialDerivative;

use super::{Derivative, PartialDerivative};
use nalgebra::allocator::Allocator;
use nalgebra::{DefaultAllocator, Dim, OMatrix, OVector, Scalar};
use std::collections::HashMap;
use nalgebra::{DefaultAllocator, Dim, OVector, Scalar};
use quantity::*;
use std::sync::OnceLock;
use typenum::Diff;

#[derive(Clone, Debug)]
#[expect(clippy::type_complexity)]
pub struct Cache<D: Scalar, N: Dim>
where
DefaultAllocator: Allocator<N>,
{
pub map: HashMap<PartialDerivative, D>,
pub vec_map: HashMap<VectorPartialDerivative, OVector<D, N>>,
pub hit: u64,
pub miss: u64,
pub a: OnceLock<Energy<D>>,
pub da_dt: OnceLock<Entropy<D>>,
pub da_dv: OnceLock<Pressure<D>>,
pub da_dn: OnceLock<MolarEnergy<OVector<D, N>>>,
pub d2a_dt2: OnceLock<Quantity<D, Diff<_Entropy, _Temperature>>>,
pub d2a_dv2: OnceLock<Quantity<D, Diff<_Pressure, _Volume>>>,
pub d2a_dtdv: OnceLock<Quantity<D, Diff<_Pressure, _Temperature>>>,
pub d2a_dndt: OnceLock<Quantity<OVector<D, N>, Diff<_MolarEnergy, _Temperature>>>,
pub d2a_dndv: OnceLock<Quantity<OVector<D, N>, Diff<_MolarEnergy, _Volume>>>,
pub d3a_dt3: OnceLock<Quantity<D, Diff<Diff<_Entropy, _Temperature>, _Temperature>>>,
pub d3a_dv3: OnceLock<Quantity<D, Diff<Diff<_Pressure, _Volume>, _Volume>>>,
}

impl<D: Scalar + Copy, N: Dim> Cache<D, N>
Expand All @@ -22,154 +29,17 @@ where
{
pub fn new() -> Self {
Self {
map: HashMap::with_capacity(8),
vec_map: HashMap::with_capacity(3),
hit: 0,
miss: 0,
}
}

pub fn get_or_insert_with_zeroth<F: FnOnce() -> D>(&mut self, f: F) -> D {
if let Some(&value) = self.map.get(&PartialDerivative::Zeroth) {
self.hit += 1;
value
} else {
self.miss += 1;
let value = f();
self.map.insert(PartialDerivative::Zeroth, value);
value
}
}

pub fn get_or_insert_with_first_scalar<F: FnOnce() -> (D, D)>(
&mut self,
derivative: Derivative,
f: F,
) -> D {
if let Some(&value) = self.map.get(&PartialDerivative::First(derivative)) {
self.hit += 1;
value
} else {
self.miss += 1;
let (f, df) = f();
self.map.insert(PartialDerivative::Zeroth, f);
self.map.insert(PartialDerivative::First(derivative), df);
df
}
}

pub fn get_or_insert_with_second<F: FnOnce() -> (D, D, D)>(
&mut self,
derivative: Derivative,
f: F,
) -> D {
if let Some(&value) = self.map.get(&PartialDerivative::Second(derivative)) {
self.hit += 1;
value
} else {
self.miss += 1;
let (f, df, d2f) = f();
self.map.insert(PartialDerivative::Zeroth, f);
self.map.insert(PartialDerivative::First(derivative), df);
self.map.insert(PartialDerivative::Second(derivative), d2f);
d2f
}
}

pub fn get_or_insert_with_second_mixed_scalar<F: FnOnce() -> (D, D, D, D)>(
&mut self,
derivative1: Derivative,
derivative2: Derivative,
f: F,
) -> D {
if let Some(&value) = self.map.get(&PartialDerivative::SecondMixed) {
self.hit += 1;
value
} else {
self.miss += 1;
let (f, df1, df2, d2f) = f();
self.map.insert(PartialDerivative::Zeroth, f);
self.map.insert(PartialDerivative::First(derivative1), df1);
self.map.insert(PartialDerivative::First(derivative2), df2);
self.map.insert(PartialDerivative::SecondMixed, d2f);
d2f
}
}

pub fn get_or_insert_with_third<F: FnOnce() -> (D, D, D, D)>(
&mut self,
derivative: Derivative,
f: F,
) -> D {
if let Some(&value) = self.map.get(&PartialDerivative::Third(derivative)) {
self.hit += 1;
value
} else {
self.miss += 1;
let (f, df, d2f, d3f) = f();
self.map.insert(PartialDerivative::Zeroth, f);
self.map.insert(PartialDerivative::First(derivative), df);
self.map.insert(PartialDerivative::Second(derivative), d2f);
self.map.insert(PartialDerivative::Third(derivative), d3f);
d3f
}
}

pub fn get_or_insert_with_first_vector<F: FnOnce() -> (D, OVector<D, N>)>(
&mut self,
f: F,
) -> OVector<D, N> {
if let Some(value) = self.vec_map.get(&VectorPartialDerivative::First) {
self.hit += 1;
value.clone()
} else {
self.miss += 1;
let (f, df) = f();
self.map.insert(PartialDerivative::Zeroth, f);
self.vec_map
.insert(VectorPartialDerivative::First, df.clone());
df
}
}

pub fn get_or_insert_with_second_vector<F: FnOnce() -> (D, OVector<D, N>, OMatrix<D, N, N>)>(
&mut self,
f: F,
) -> OMatrix<D, N, N>
where
DefaultAllocator: Allocator<N, N>,
{
self.miss += 1;
let (f, df, d2f) = f();
self.map.insert(PartialDerivative::Zeroth, f);
self.vec_map.insert(VectorPartialDerivative::First, df);
d2f
}

pub fn get_or_insert_with_second_mixed_vector<
F: FnOnce() -> (D, OVector<D, N>, D, OVector<D, N>),
>(
&mut self,
derivative: Derivative,
f: F,
) -> OVector<D, N> {
if let Some(value) = self
.vec_map
.get(&VectorPartialDerivative::SecondMixed(derivative))
{
self.hit += 1;
value.clone()
} else {
self.miss += 1;
let (f, df1, df2, d2f) = f();
self.map.insert(PartialDerivative::Zeroth, f);
self.vec_map.insert(VectorPartialDerivative::First, df1);
self.map.insert(PartialDerivative::First(derivative), df2);
self.vec_map.insert(
VectorPartialDerivative::SecondMixed(derivative),
d2f.clone(),
);
d2f
a: OnceLock::new(),
da_dt: OnceLock::new(),
da_dv: OnceLock::new(),
da_dn: OnceLock::new(),
d2a_dt2: OnceLock::new(),
d2a_dv2: OnceLock::new(),
d2a_dtdv: OnceLock::new(),
d2a_dndt: OnceLock::new(),
d2a_dndv: OnceLock::new(),
d3a_dt3: OnceLock::new(),
d3a_dv3: OnceLock::new(),
}
}
}
Loading