Published December 22, 2022 | Version v3
Software Open

Singular libraries for computing polynomial conservation laws

Creators

  • 1. Univerity of Montpellier
  • 2. Saint Louis University Madrid
  • 3. University of Bonn
  • 4. University of Montpellier
  • 5. Max Planck Institut for Informatics Saarbrucken
  • 6. University of Kassel
  • 7. CNRS

Description

The following Singular libraries implement algorithms described in the paper  
"A Computational Approach to Complete Exact and Approximate Conservation Laws of Chemical Reaction Networks" by A.Desouevres, A.Iosif, C.Lueders, O.Radulescu, H.Rahkooy, M.Seiss, and T.Sturm. 

This version contains the full implementation of our algorithms, in order to compute a basis for the Q-vector space of conservation laws up to a given degree.

polconslaw.lib: A library for computing parametric polynomial conservation laws
genpolconslaw.lib: A library for computing polynomial conservation laws in the generic branch
curl.lib: An auxiliary library for testing if a syzygy is irrotational.
syzygy_basis.lib: An auxiliary library to compute a basis of syzygies
integration.lib: An auxiliary library to compute conservation laws by integration of syzygies

A few examples to be run using Singular present a step by step implementation of the algorithms: example6_29.sg, example6_30.sg and bm629.sg

 

Files

pol_conservations_v3.zip

Files (49.1 kB)

Name Size Download all
md5:e8a0d1e46ce866bc35d033941fe320c5
49.1 kB Preview Download

Additional details

Funding

Agence Nationale de la Recherche
SYMBIONT - Symbolic Methods for Biological Networks ANR-17-CE40-0036