Skip to content

Develop #2485

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 118 commits into from
Jul 1, 2025
Merged

Develop #2485

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
118 commits
Select commit Hold shift + click to select a range
cbfa3f1
TrimGdel folder is added to ~/src/design/
MetNetComp Feb 10, 2025
7b35ad2
TrimGdel folder is added to ~/src/design/
MetNetComp Feb 10, 2025
7f21015
TrimGdel folder is added to ~/src/design/
MetNetComp Feb 10, 2025
6aa81b9
update Function Docs (Automatic Workflow)
rmtfleming Mar 5, 2025
9415d7c
local changes post test
rmtfleming Mar 5, 2025
61026c5
Merge branch 'develop' of github.com:rmtfleming/cobratoolbox into dev…
rmtfleming Mar 5, 2025
d0f82d4
COBRAmodels:fire:code headers:art: add tutorials
MetNetComp Mar 7, 2025
ea515a7
Merge pull request #2455 from opencobra/master
farid-zare Mar 11, 2025
a5bf6a3
update Function Docs (Automatic Workflow)
farid-zare Mar 11, 2025
90de3c8
Minor bugfixes for Persephone
bramnap Mar 12, 2025
b967fd3
Merge pull request #2456 from bramnap/develop
farid-zare Mar 13, 2025
1f5cfa1
PSCM toolbox loadPSCMfile function bug fix and merge conflict resolve
trjhensen Mar 19, 2025
eccd899
Merge pull request #2459 from trjhensen/develop
farid-zare Mar 20, 2025
8446ab9
Update metanetxMapper.m
farid-zare Mar 24, 2025
c32c694
Merge pull request #2460 from farid-zare/fix_metanetxmapper
farid-zare Mar 24, 2025
c6f9826
Merge branch 'opencobra:develop' into develop
bramnap Mar 27, 2025
a99c313
minor bugfix persephone
bramnap Mar 27, 2025
4bf1ceb
add gitkeep files to have default folders in seqc
bramnap Mar 27, 2025
f3d496a
bugfix
bramnap Mar 27, 2025
1b2bebe
Merge branch 'develop' of https://github.com/bramnap/cobratoolbox int…
bramnap Mar 27, 2025
bc622d1
minor fix to analyseWBMsol for gf iWBM scaling
bramnap Mar 28, 2025
5082c58
Merge pull request #2461 from bramnap/develop
farid-zare Mar 31, 2025
bb37ba4
Update the tutorials folder
farid-zare Mar 31, 2025
9456446
Merge pull request #2458 from Yanjun2021/debug_createDummyModel
rmtfleming Apr 1, 2025
aa9bbd0
bugFix initPersephone
bramnap Apr 4, 2025
65441d3
generateRules
farid-zare Apr 4, 2025
57ba95a
Update generateRules
farid-zare Apr 4, 2025
f34b112
efba improvements
rmtfleming Apr 5, 2025
322c50a
Resolved merge conflict by accepting remote changes for conflicting f…
rmtfleming Apr 5, 2025
2b1100b
add removeGeneVersions.m
farid-zare Apr 7, 2025
a69acf7
Add test for removeGeneVersions
farid-zare Apr 7, 2025
f94bafb
Add testBuildGrRules
farid-zare Apr 7, 2025
a041fa2
Merge pull request #2466 from farid-zare/master
farid-zare Apr 7, 2025
9c073ae
Update COBRAModelFields.md
farid-zare Apr 7, 2025
680f8f7
Update COBRAModelFields.md
farid-zare Apr 7, 2025
71c5e9d
Merge pull request #2468 from farid-zare/develop
farid-zare Apr 7, 2025
bf1abad
Bug fix optimizeWBModel
trjhensen Apr 8, 2025
ecd7638
Merge pull request #2469 from trjhensen/develop
farid-zare Apr 8, 2025
7d2ce97
Merge pull request #2464 from bramnap/develop
farid-zare Apr 8, 2025
c04bdbc
testTrimGdel.m is removed.
MetNetComp Apr 9, 2025
28b1d61
Feature update Persephone pipeline for ensureWBMfeasibility function
trjhensen Apr 9, 2025
4b179b0
Accept xlsx and csv
Apr 9, 2025
e218895
Merge pull request #2470 from trjhensen/develop
farid-zare Apr 9, 2025
94801c3
Merge pull request #2471 from annasheehy/develop
farid-zare Apr 10, 2025
0bd930d
testEntropicFBA
Yanjun2021 May 5, 2025
96e7677
Overhaul of nutrition toolbox
bramnap May 7, 2025
7340dad
Merge pull request #2427 from MetNetComp/develop
rmtfleming May 8, 2025
0f52913
Merge pull request #2474 from bramnap/develop
farid-zare May 9, 2025
64a090d
Bugfixes for nutrition toolbox
bramnap May 13, 2025
6580c2a
critical fixes
TheWileyB May 13, 2025
cf3babb
Added support for mixed effect regressions in Persephone and fixed sp…
trjhensen May 14, 2025
8c18e79
Merge pull request #2476 from bramnap/develop
farid-zare May 15, 2025
17bc40c
Merge pull request #2478 from trjhensen/develop
farid-zare May 15, 2025
1d87927
Merge pull request #2477 from TheWileyB/develop
farid-zare May 15, 2025
6487c8c
Update saved filenames in vmhFoodFinder.m
bramnap May 19, 2025
177580d
Merge pull request #2479 from bramnap/develop
farid-zare May 20, 2025
67ff29e
Delete docs directory
farid-zare May 20, 2025
b65bac0
Merge pull request #2480 from farid-zare/develop
farid-zare May 20, 2025
48fc036
Delete docs directory
farid-zare May 20, 2025
74ddb0d
Merge pull request #2465 from rmtfleming/develop
farid-zare May 21, 2025
498d3ba
Bug Fixes for Nutrition Toolbox
CCThinnes May 21, 2025
7d02aa4
Merge pull request #2481 from CCThinnes/develop
farid-zare May 22, 2025
f44da97
improvefuncitonforgreaterrobustness
Yanjun2021 May 22, 2025
18e5b19
Update generateInSilicoDiet.m
bramnap May 23, 2025
27831d1
updates to efba
rmtfleming May 23, 2025
b307715
Merge branch 'develop' of github.com:rmtfleming/cobratoolbox into dev…
rmtfleming May 23, 2025
8c1e749
updates to tutorials
rmtfleming May 23, 2025
8b08825
Merge pull request #2484 from rmtfleming/develop
rmtfleming May 23, 2025
c12f783
Merge pull request #2473 from Yanjun2021/testEntropicFBA
rmtfleming May 23, 2025
772b38c
Merge pull request #2482 from Yanjun2021/printFluxVector-improve-func…
rmtfleming May 23, 2025
a7d3685
Merge pull request #2483 from bramnap/develop
rmtfleming May 23, 2025
3545bb6
Bug fixes for Persephone pipeline
CCThinnes May 29, 2025
de36737
move and update testCD
farid-zare Jun 3, 2025
64d239c
update and move testCreateMetIntrcNetwork
farid-zare Jun 3, 2025
c8574bb
testElementalComposition
farid-zare Jun 3, 2025
9efd50e
Update and move testEntropicFBA
farid-zare Jun 3, 2025
8aead66
Update and move FindSparsePathway
farid-zare Jun 3, 2025
b8bcf0a
Update and move testFitC13Data
farid-zare Jun 3, 2025
69f3b37
move testHyperGraph to deprecated
farid-zare Jun 3, 2025
b2e2476
Move testLegacy to verified tests
farid-zare Jun 3, 2025
34329fa
testMolecularMass
farid-zare Jun 3, 2025
e0716d0
Move testOptCardinality to verified tests
farid-zare Jun 3, 2025
1cb8950
Move old tests to deprecated folder
farid-zare Jun 3, 2025
15c321e
Move testTissueModel to depreciated
farid-zare Jun 3, 2025
c0abf6e
Move testStoichiometricConsistency to verified tests
farid-zare Jun 3, 2025
12e3f01
Move SAMMI code to verified tests
farid-zare Jun 4, 2025
ad54fc6
Move relaxedFBA to verified tests
farid-zare Jun 4, 2025
85a02e9
Move testOpti to deprecated
farid-zare Jun 4, 2025
0f6e17d
move testModels to deprecated
farid-zare Jun 4, 2025
73c4d9f
Move testMaps to verified tests
farid-zare Jun 4, 2025
30deedd
Move ICONGEMs to deprecated
farid-zare Jun 4, 2025
725a451
Add testHillFormula to verified tests
farid-zare Jun 4, 2025
8b4b6c9
Move fastcc to deprecated
farid-zare Jun 4, 2025
96fddd1
restructure testing folder
farid-zare Jun 4, 2025
333b2fd
Fix testConvertOldStyleModel
farid-zare Jun 5, 2025
8eeacbe
Debug testOptCardinality and testMinCardinalityConservationRelaxation…
farid-zare Jun 5, 2025
c296be4
Add statistics toolbox dependency for testSammi
farid-zare Jun 5, 2025
b57c1a0
Rename old test script
farid-zare Jun 5, 2025
63d774f
Update prepare test and testMetanetxMapper
farid-zare Jun 5, 2025
ca55dcc
Update testMPS.m
farid-zare Jun 6, 2025
c9541b7
Update testSteadyCom
farid-zare Jun 6, 2025
ffae6f7
Move testModelManipulation to deprecated-should be fixed in future
farid-zare Jun 6, 2025
d7f61c4
Merge pull request #2486 from CCThinnes/develop
farid-zare Jun 12, 2025
99be8e3
Removed experimental features from function and removed kurtosis and …
trjhensen Jun 12, 2025
6aa5e85
Persephone WBM FBA solution analysis code cleanup
trjhensen Jun 13, 2025
abf3811
Update UpdateTutorialIndex.yml
pavan-kumar-s Jun 15, 2025
155e77d
Merge pull request #2493 from pavan-kumar-s/develop
farid-zare Jun 17, 2025
ceab305
Merge branch 'opencobra:develop' into develop
farid-zare Jun 19, 2025
af8fea7
Update the code
farid-zare Jun 19, 2025
57fec21
Merge pull request #2490 from farid-zare/develop
farid-zare Jun 19, 2025
f722a4c
Corrected some analyses in mgPipe, added function in DEMETER to map t…
Jun 23, 2025
b1b2906
Merge pull request #2498 from almut-heinken/editStatistics
farid-zare Jun 24, 2025
1653c34
Merge branch 'opencobra:develop' into develop
trjhensen Jun 27, 2025
9184b81
minor addition to last bugfix
Jul 1, 2025
3ced45e
Minor updates to the nutrition toolbox and ensureWBMfeasibility
bramnap Jul 1, 2025
4c91f8a
Merge pull request #2502 from bramnap/develop
farid-zare Jul 1, 2025
b91f465
Merge pull request #2501 from almut-heinken/paretoFix
farid-zare Jul 1, 2025
b75356b
Merge pull request #2500 from trjhensen/develop
farid-zare Jul 1, 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
104 changes: 52 additions & 52 deletions .github/workflows/UpdateTutorialIndex.yml
Original file line number Diff line number Diff line change
@@ -1,59 +1,59 @@
name: Extract HTML Info
# name: Extract HTML Info

on:
push:
branches: gh-pages
paths:
- '**.html'
# on:
# push:
# branches: gh-pages
# paths:
# - '**.html'

jobs:
extract-info:
runs-on: ubuntu-latest
steps:
- name: Checkout Repository
uses: actions/checkout@v2
with:
token: ${{ secrets.GITHUB_TOKEN }}
fetch-depth: 0
ref: gh-pages
# jobs:
# extract-info:
# runs-on: ubuntu-latest
# steps:
# - name: Checkout Repository
# uses: actions/checkout@v2
# with:
# token: ${{ secrets.GITHUB_TOKEN }}
# fetch-depth: 0
# ref: gh-pages

- name: Check Commit Message
id: check_msg
run: |
commit_msg=$(git log --format=%B -n 1)
if [[ "$commit_msg" == "Sync files from source repo" ]]; then
echo "run_job=true" >> $GITHUB_OUTPUT
else
echo "run_job=false" >> $GITHUB_OUTPUT
fi
# - name: Check Commit Message
# id: check_msg
# run: |
# commit_msg=$(git log --format=%B -n 1)
# if [[ "$commit_msg" == "Sync files from source repo" ]]; then
# echo "run_job=true" >> $GITHUB_OUTPUT
# else
# echo "run_job=false" >> $GITHUB_OUTPUT
# fi

- name: Set up Python
uses: actions/setup-python@v2
if: steps.check_msg.outputs.run_job == 'true'
with:
python-version: '3.x'
# - name: Set up Python
# uses: actions/setup-python@v2
# if: steps.check_msg.outputs.run_job == 'true'
# with:
# python-version: '3.x'

- name: Install Dependencies
if: steps.check_msg.outputs.run_job == 'true'
run: |
python -m pip install --upgrade pip
pip install beautifulsoup4
# - name: Install Dependencies
# if: steps.check_msg.outputs.run_job == 'true'
# run: |
# python -m pip install --upgrade pip
# pip install beautifulsoup4

- name: Get Changed HTML Files and update the index.html file of tutorial
id: getfile
if: steps.check_msg.outputs.run_job == 'true'
run: |
changed_files=$(git diff --name-only HEAD~1 HEAD | grep '\.html' | tr '\n' ' ')
for file in $changed_files; do
echo "Processing: $file"
python ./stable/extract_info.py $file
done
# - name: Get Changed HTML Files and update the index.html file of tutorial
# id: getfile
# if: steps.check_msg.outputs.run_job == 'true'
# run: |
# changed_files=$(git diff --name-only HEAD~1 HEAD | grep '\.html' | tr '\n' ' ')
# for file in $changed_files; do
# echo "Processing: $file"
# python ./stable/extract_info.py $file
# done

- name: Commit and Push New File
if: steps.check_msg.outputs.run_job == 'true'
run: |
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
git add .
git commit -m "Update Tutorial (Automatic Workflow)" || echo "No changes to commit"
git push
# - name: Commit and Push New File
# if: steps.check_msg.outputs.run_job == 'true'
# run: |
# git config user.name "github-actions[bot]"
# git config user.email "github-actions[bot]@users.noreply.github.com"
# git add .
# git commit -m "Update Tutorial (Automatic Workflow)" || echo "No changes to commit"
# git push
Original file line number Diff line number Diff line change
@@ -0,0 +1,81 @@
% The COBRAToolbox: minCardinalityConservationRelaxationVector.m
%
% Purpose:
% - tests the functionality of checkStoichiometricConsistency and minCardinalityConservationRelaxationVector
%
% Authors:
% - Ronan Fleming 06/11/2025
% - Farid Zare 03/03/2025 enhanced formatting
%

% save the current path
currentDir = pwd;

% initialize the test
fileDir = fileparts(which('testMinCardinalityConservationRelaxationVector'));
cd(fileDir);

solverPkgs = prepareTest('needsLP', true, 'excludeSolvers', {'ibm_cplex'});

for k = 1:length(solverPkgs.LP)

% change the COBRA solver (LP)
solverOK = changeCobraSolver(solverPkgs.LP{k}, 'LP', 0);

if solverOK

fprintf(' Testing checkStoichiometricConsistency and minCardinalityConservationRelaxationVector using solver %s...\n', solverPkgs.LP{k})
model = getDistributedModel('Recon3DModel_301.mat');

printLevel=0;

model = findSExRxnInd(model,[],printLevel-1);

N = model.S(:,model.SIntRxnBool);

%Recon3DModel_301 is stoichiometrically consistent, so check should be
%positive
[isConsistent, m, model] = checkStoichiometricConsistency(model, printLevel);
assert(isConsistent==1)

[mlt,nlt]=size(N');
feasTol = getCobraSolverParams('LP', 'feasTol');
param.eta=feasTol*100;
param.checkConsistency=0;
param.epsilon=1e-4;
param.nonRelaxBool=false(mlt,1);
param.checkFeasibility = 0;
param.printLevel=printLevel;

%Recon3DModel_301 is stoichiometrically consistent, so no relaxations
%should be needed
[relaxRxnBool, solutionRelax] = minCardinalityConservationRelaxationVector(N,param);
assert(nnz(relaxRxnBool)==0);


[relaxRxnBool, solutionRelax] = minCardinalityConservationRelaxationVector(N);
assert(nnz(relaxRxnBool)==0);

if solutionRelax.stat==1
%conserved if relaxation is below epsilon
relaxRxnBool=abs(solutionRelax.x)>=param.eta;
if printLevel>1
fprintf('%g%s\n',norm(N(:,~relaxRxnBool)'*solutionRelax.z),' = ||N''*z|| (should be zero)')
end
if printLevel>1
fprintf('%s\n',[int2str(nnz(relaxRxnBool)) '/' int2str(length(relaxRxnBool)) ' reactions relaxed.'])
end
else
disp(solutionRelax)
error('solve for minimum cardinality of conservation relaxation vector failed')
end

assert(isConsistent & nnz(relaxRxnBool)==0);

% output a success message
fprintf('Done.\n');

end
end
% change the directory
cd(currentDir)
168 changes: 168 additions & 0 deletions deprecated/_testOptCardinality/testOptCardinality.m
Original file line number Diff line number Diff line change
@@ -0,0 +1,168 @@
% The COBRAToolbox: testOptCardinality.m
%
% Purpose:
% - tests optimiseCardinality
%
% Authors:
% - CI integration: Laurent Heirendt March 2018
%
param = struct();
param.printLevel=3;

% save the current path
currentDir = pwd;

% initialize the test
fileDir = fileparts(which('testOptCardinality'));
cd(fileDir);

solverPkgs = prepareTest('needsLP', true, 'excludeSolvers', {'ibm_cplex'});

for k = 1:length(solverPkgs.LP)

% change the COBRA solver (LP)
solverOK = changeCobraSolver(solverPkgs.LP{k}, 'LP', 0);

if solverOK

fprintf(' Testing optimizeCardinality & optimizeWeightedCardinality using solver %s...', solverPkgs.LP{k})


if 1
filename='Recon2.0model.mat';
if exist('Recon2.0model.mat','file')==2
model = getDistributedModel(filename);
model.csense(1:size(model.S,1),1)='E';
else
modelFolder = getDistributedModelFolder('ecoli_core_model.mat');
% define the filename of the model
modelFile = [modelFolder filesep 'ecoli_core_model.mat'];
model = readCbModel(modelFile, 'modelName','model');
end
end

%paramaters
feasTol = getCobraSolverParams('LP', 'feasTol');
param.eta = feasTol*1e5;
if 0
param.nbMaxIteration = 1000;
param.zeta = 1e-6;
param.theta = 0.5; %parameter of capped l1 approximation
param.epsilon = 1e-3;
end

% DC programming for solving the cardinality optimization problem
% The `l0` norm is approximated by capped-`l1` function.
% :math:`min c'(x, y, z) + lambda_0*||k.*x||_0 - delta_0*||d.*y||_0
% + lambda_1*||x||_1 + delta_1*||y||_1`
% s.t. :math:`A*(x, y, z) <= b`
% :math:`l <= (x,y,z) <= u`
% :math:`x in R^p, y in R^q, z in R^r`

%problem structure
[mlt,nlt]=size(model.S);
cardProblem.r=1;%first reaction is the objective
p=20;%minimise first 20 reactions
q=nlt-p-cardProblem.r;%maximise remainder of reactions
cardProblem.p=p;%minimise
cardProblem.q=q;%maximise
cardProblem.c=zeros(nlt,1);
cardProblem.c(1)=-1;%maximise biomass reaction
cardProblem.A=[model.S(:,model.c~=0),model.S(:,model.c==0)];%stick the objective first
cardProblem.b=zeros(mlt,1);
cardProblem.lb=-10*ones(nlt,1);
cardProblem.lb(1)=1;
cardProblem.ub= 10*ones(nlt,1);
cardProblem.csense(1:mlt,1)='E';

if isfield(cardProblem,'lambda')
cardProblem=rmfield(cardProblem,'lambda');
end
if isfield(cardProblem,'delta')
cardProblem=rmfield(cardProblem,'delta');
end

cardProblem.lambda=0;
cardProblem.delta=1;

if 1
if 1
solution = optimizeCardinality(cardProblem,param);
boolx=solution.x>=param.eta;
booly=solution.y>=param.eta;
reactionDifference=nnz(booly)-nnz(boolx);
disp(reactionDifference)
else
try
solution = optimizeCardinality(cardProblem,param);
if solution.stat==1
boolx=solution.x>=param.eta;
booly=solution.y>=param.eta;
reactionDifference=nnz(booly)-nnz(boolx);
%disp(reactionDifference)
assert(reactionDifference==19)
else
error('optimizeCardinality failed')
end
catch ME
error('optimizeCardinality failed')
assert(length(ME.message) > 0)
end
end
end
% * .lambda_0 - trade-off parameter of `||x||_0`
% * .lambda_1 - trade-off parameter of `||x||_1`
% * .delta_0 - trade-off parameter of `||y||_0`
% * .delta_1 - trade-off parameter of `||y||_1`
% * .k - `p x 1` strictly positive weight vector of `x`
% * .d - `q x 1` strictly positive weight vector of `y`

if 1
cardProblem.k = rand(p,1);
cardProblem.d = rand(q,1);

solution = optimizeCardinality(cardProblem, param);
printLevel=1;
if solution.stat==1
boolx=solution.x>=param.eta;
booly=solution.y>=param.eta;
reactionDifference=nnz(booly)-nnz(boolx);
%disp(reactionDifference)
else
clear
error('weighted optimizeCardinality failed')
end
else
try
if 1
cardProblem.k = rand(p,1);
cardProblem.d = rand(q,1);
else
cardProblem.k =[0.353261921655910;0.136198199554603;0.161199215283406;0.701598054693234;0.963104300338750;0.848915285870358;0.355696281562873;0.604026370901761;0.863208270875165;0.820516602129050];
cardProblem.d = [0.856726006637269;0.479222295857706;0.693250365030223;0.184194690365269;0.160038122601110;0.994929983836258;0.0661195204254679;0.992606041060040;0.217668082980991;0.885563825134152;0.337216530505868;0.316453801160968;0.310462944504509;0.713112858468648;0.663679819631847;0.717971113445466;0.104640343889781;0.700479020824193;0.0805864297824039;0.891195523125197;0.693880161746020;0.436474899335492;0.656991109467124;0.948094246708429;0.771053864583346;0.883352985815948;0.342974266018114;0.312664798117314;0.507688818213242;0.512523050276335;0.581846823390724;0.302786199140526;0.240719695561023;0.716435558175071;0.769903255623647;0.791240133987633;0.730011734034978;0.0484591628058197;0.286317855807064;0.648463862349204;0.551974518354735;0.704768997987814;0.949221753797141;0.403674635085002;0.874755823584694;0.0673360092347605;0.803867257560051;0.337409460743523;0.775432615766947;0.0619856321579906;0.575368119807765;0.550765711061938;0.799440812589458;0.378435388052920;0.534250510907493;0.950082837953587;0.121105671067707;0.361260315188684;0.144154618911642;0.588725242952198;0.545911394577834;0.336007538977284;0.294563063293066;0.570170186151889];
end
solution = optimizeCardinality(cardProblem, param);
printLevel=1;
if solution.stat==1
boolx=solution.x>=param.eta;
booly=solution.y>=param.eta;
reactionDifference=nnz(booly)-nnz(boolx);
%disp(reactionDifference)
assert(reactionDifference==19)
else
clear
error('weighted optimizeCardinality failed')
end

catch ME
error('weighted optimizeCardinality failed')
assert(length(ME.message) > 0)
end
end
% output a success message
fprintf('Done.\n');

end
end
% change the directory
cd(currentDir)
17 changes: 17 additions & 0 deletions deprecated/_testTopology/loop3b_neg_eq.ext
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@

*lrs:lrslib v.7.1 2021.6.2(64bit,lrslong.h,hybrid arithmetic)
*Input taken from /home/farid/cobratoolbox-develop/test/additionalTests/testTopology/loop3b_neg_eq.ine
loop3b
*Input linearity in row 3 is redundant--converted to inequality
V-representation
linearity 1 1
begin
***** 4 rational
0 -1 1 1
1 0 0 0
end
*Totals: vertices=1 rays=0 bases=1 integer_vertices=1 linearities=1 vertices+rays+linearities=2
*Dictionary Cache: max size= 1 misses= 0/0 Tree Depth= 0
*Overflow checking on lrslong arithmetic
*lrs:lrslib v.7.1 2021.6.2(64bit,lrslong.h,hybrid arithmetic)
*0.001u 0.000s 1920Kb 2 flts 0 swaps 640 blks-in 8 blks-out
9 changes: 9 additions & 0 deletions deprecated/_testTopology/loop3b_neg_eq.ine
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
loop3b
H-representation
linearity 3 1 2 3
begin
3 4 integer
0 1 0 1
0 -1 -1 0
0 0 1 -1
end
Loading