Skip to content

GitLab

Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 0c49df1a authored by HEMERY Mathieu's avatar HEMERY Mathieu
Browse files

Update test of reduce.plt

parent f37eec8e
Hide whitespace changes
Inline Side-by-side
Showing with 74 additions and 5 deletions
models.plt
View file @ 0c49df1a
......@@ -29,7 +29,7 @@ test('load', [Name == mapk]) :-
test(
'list_model',
[Output == 'MA(k)for a=>b.\nparameter(\n k = 1\n).\n']
[Output == '\'MA\'(k) for a=>b.\nparameter(\n k = 1\n).\n']
) :-
clear_model,
command('MA'(k) for a => b),
......
reaction_graphs.plt
View file @ 0c49df1a
......@@ -24,7 +24,7 @@ test(
test(
'import_reactions_from_graph',
[true(Reactions == [ a =[b]=> c, 'MA'(2) for a + 3 * c => 2 * d ])]
[true(Reactions == ['MA'(1) for a+b=>c+b, 'MA'(2) for a + 3 * c => 2 * d ])]
) :-
clear_model,
new_graph,
......
reduce.plt
View file @ 0c49df1a
......@@ -22,7 +22,7 @@ test(
Removed
)
),
assertion(Removed = ['_'=>b,'_'=>c,b=>'_',c=>'_']).
assertion(Removed = ['MA'(1) for _=>b,'MA'(1) for _=>c,'MA'(1) for b=>_,'MA'(1) for c=>_]).
test(
'reduce_Qu1',
......@@ -38,7 +38,44 @@ test(
Removed
)
),
assertion(Removed = [ (k1 for '_'=>'CycB'), (k2*['CycB']for'CycB'=>'_'), (k2u*['APC']*['CycB']for'CycB'=['APC']=>'_'), (k3*['CDK']*['CycB']for'CDK'+'CycB'=>'CycB-CDK~{p1,p2}'), (k4*['CycB-CDK~{p1,p2}']for'CycB-CDK~{p1,p2}'=>'CDK'+'CycB'), (k5*['CycB-CDK~{p1,p2}']for'CycB-CDK~{p1,p2}'=>'CycB-CDK~{p1}'), (k5u*['C25~{p1,p2}']*['CycB-CDK~{p1,p2}']for'CycB-CDK~{p1,p2}'=['C25~{p1,p2}']=>'CycB-CDK~{p1}'), (k6*['CycB-CDK~{p1}']for'CycB-CDK~{p1}'=>'CycB-CDK~{p1,p2}'), (['Wee1']*['CycB-CDK~{p1}']for'CycB-CDK~{p1}'=['Wee1']=>'CycB-CDK~{p1,p2}'), (k7*['CycB-CDK~{p1}']for'CycB-CDK~{p1}'=>'CDK'), (k7u*['APC']*['CycB-CDK~{p1}']for'CycB-CDK~{p1}'=['APC']=>'CDK'), (k8 for '_'=>'C25'), (k9*['C25']for'C25'=>'_'), (k9*['C25~{p1}']for'C25~{p1}'=>'_'), (k9*['C25~{p1,p2}']for'C25~{p1,p2}'=>'_'), (bz*['C25']for'C25'=>'C25~{p1}'), (cz*['CycB-CDK~{p1}']*['C25']for'C25'=['CycB-CDK~{p1}']=>'C25~{p1}'), (az*['C25~{p1}']for'C25~{p1}'=>'C25'), (bz*['C25~{p1}']for'C25~{p1}'=>'C25~{p1,p2}'), (cz*['CycB-CDK~{p1}']*['C25~{p1}']for'C25~{p1}'=['CycB-CDK~{p1}']=>'C25~{p1,p2}'), (az*['C25~{p1,p2}']for'C25~{p1,p2}'=>'C25~{p1}'), (k10 for '_'=>'Wee1'), (k11*['Wee1']for'Wee1'=>'_'), (k11*['Wee1~{p1}']for'Wee1~{p1}'=>'_'), (bw*['Wee1']for'Wee1'=>'Wee1~{p1}'), (cw*['CycB-CDK~{p1}']*['Wee1']for'Wee1'=['CycB-CDK~{p1}']=>'Wee1~{p1}'), (aw*['Wee1~{p1}']for'Wee1~{p1}'=>'Wee1'), (['CycB-CDK~{p1}']^2/ (a^2+['CycB-CDK~{p1}']^2)/tho for '_'=['CycB-CDK~{p1}']=>'APC'), (['APC']/tho for 'APC'=>'_'), (k12 for '_'=>'CKI'), (k13*['CKI']for'CKI'=>'_'), (k14*['CKI']*['CycB-CDK~{p1}']for'CKI'+'CycB-CDK~{p1}'=>'CKI-CycB-CDK~{p1}'), (k15*['CKI-CycB-CDK~{p1}']for'CKI-CycB-CDK~{p1}'=>'CKI'+'CycB-CDK~{p1}'), (bi*['CKI-CycB-CDK~{p1}']for'CKI-CycB-CDK~{p1}'=>'(CKI-CycB-CDK~{p1})~{p2}'), (ci*['CycB-CDK~{p1}']*['CKI-CycB-CDK~{p1}']for'CKI-CycB-CDK~{p1}'=['CycB-CDK~{p1}']=>'(CKI-CycB-CDK~{p1})~{p2}'), (ai*['(CKI-CycB-CDK~{p1})~{p2}']for'(CKI-CycB-CDK~{p1})~{p2}'=>'CKI-CycB-CDK~{p1}'), (k16*['(CKI-CycB-CDK~{p1})~{p2}']for'(CKI-CycB-CDK~{p1})~{p2}'=>'CDK'), (k16u*['APC']*['(CKI-CycB-CDK~{p1})~{p2}']for'(CKI-CycB-CDK~{p1})~{p2}'=['APC']=>'CDK')]).
assertion(Removed =[k1 for '_'=>'CycB',
k2*['CycB'] for 'CycB'=>'_',
k2u*['APC']*['CycB'] for 'CycB'+'APC'=>'APC',
k3*['CDK']*['CycB'] for 'CDK'+'CycB'=>'CycB-CDK~{p1,p2}',
k4*['CycB-CDK~{p1,p2}'] for 'CycB-CDK~{p1,p2}'=>'CDK'+'CycB',
k5*['CycB-CDK~{p1,p2}'] for 'CycB-CDK~{p1,p2}'=>'CycB-CDK~{p1}',
k5u*['C25~{p1,p2}']*['CycB-CDK~{p1,p2}'] for 'CycB-CDK~{p1,p2}'+'C25~{p1,p2}'=>'CycB-CDK~{p1}'+'C25~{p1,p2}',
k6*['CycB-CDK~{p1}'] for 'CycB-CDK~{p1}'=>'CycB-CDK~{p1,p2}',
['Wee1']*['CycB-CDK~{p1}'] for 'CycB-CDK~{p1}'+'Wee1'=>'CycB-CDK~{p1,p2}'+'Wee1',
k7*['CycB-CDK~{p1}'] for 'CycB-CDK~{p1}'=>'CDK',
k7u*['APC']*['CycB-CDK~{p1}'] for 'CycB-CDK~{p1}'+'APC'=>'CDK'+'APC',
k8 for '_'=>'C25',
k9*['C25'] for 'C25'=>'_',
k9*['C25~{p1}'] for 'C25~{p1}'=>'_',
k9*['C25~{p1,p2}'] for 'C25~{p1,p2}'=>'_',
bz*['C25'] for 'C25'=>'C25~{p1}',
cz*['CycB-CDK~{p1}']*['C25'] for 'C25'+'CycB-CDK~{p1}'=>'C25~{p1}'+'CycB-CDK~{p1}',
az*['C25~{p1}'] for 'C25~{p1}'=>'C25',
bz*['C25~{p1}'] for 'C25~{p1}'=>'C25~{p1,p2}',
cz*['CycB-CDK~{p1}']*['C25~{p1}'] for 'C25~{p1}'+'CycB-CDK~{p1}'=>'C25~{p1,p2}'+'CycB-CDK~{p1}',
az*['C25~{p1,p2}'] for 'C25~{p1,p2}'=>'C25~{p1}',
k10 for '_'=>'Wee1',
k11*['Wee1'] for 'Wee1'=>'_',
k11*['Wee1~{p1}'] for 'Wee1~{p1}'=>'_',
bw*['Wee1'] for 'Wee1'=>'Wee1~{p1}',
cw*['CycB-CDK~{p1}']*['Wee1'] for 'Wee1'+'CycB-CDK~{p1}'=>'Wee1~{p1}'+'CycB-CDK~{p1}',
aw*['Wee1~{p1}'] for 'Wee1~{p1}'=>'Wee1',
['CycB-CDK~{p1}']^2/(a^2+['CycB-CDK~{p1}']^2)/tho for 'CycB-CDK~{p1}'=>'APC'+'CycB-CDK~{p1}',
['APC']/tho for 'APC'=>'_',
k12 for '_'=>'CKI',
k13*['CKI'] for 'CKI'=>'_',
k14*['CKI']*['CycB-CDK~{p1}'] for 'CKI'+'CycB-CDK~{p1}'=>'CKI-CycB-CDK~{p1}',
k15*['CKI-CycB-CDK~{p1}'] for 'CKI-CycB-CDK~{p1}'=>'CKI'+'CycB-CDK~{p1}',
bi*['CKI-CycB-CDK~{p1}'] for 'CKI-CycB-CDK~{p1}'=>'(CKI-CycB-CDK~{p1})~{p2}',
ci*['CycB-CDK~{p1}']*['CKI-CycB-CDK~{p1}'] for 'CKI-CycB-CDK~{p1}'+'CycB-CDK~{p1}'=>'(CKI-CycB-CDK~{p1})~{p2}'+'CycB-CDK~{p1}',
ai*['(CKI-CycB-CDK~{p1})~{p2}'] for '(CKI-CycB-CDK~{p1})~{p2}'=>'CKI-CycB-CDK~{p1}',
k16*['(CKI-CycB-CDK~{p1})~{p2}'] for '(CKI-CycB-CDK~{p1})~{p2}'=>'CDK',
k16u*['APC']*['(CKI-CycB-CDK~{p1})~{p2}'] for '(CKI-CycB-CDK~{p1})~{p2}'+'APC'=>'CDK'+'APC']).
test(
......@@ -55,7 +92,39 @@ test(
Removed
)
),
assertion(Removed = [ (k2*['CycB']for'CycB'=>'_'), (k2u*['APC']*['CycB']for'CycB'=['APC']=>'_'), (k4*['CycB-CDK~{p1,p2}']for'CycB-CDK~{p1,p2}'=>'CDK'+'CycB'), (k5*['CycB-CDK~{p1,p2}']for'CycB-CDK~{p1,p2}'=>'CycB-CDK~{p1}'), (k6*['CycB-CDK~{p1}']for'CycB-CDK~{p1}'=>'CycB-CDK~{p1,p2}'), (['Wee1']*['CycB-CDK~{p1}']for'CycB-CDK~{p1}'=['Wee1']=>'CycB-CDK~{p1,p2}'), (k7*['CycB-CDK~{p1}']for'CycB-CDK~{p1}'=>'CDK'), (k7u*['APC']*['CycB-CDK~{p1}']for'CycB-CDK~{p1}'=['APC']=>'CDK'), (k9*['C25']for'C25'=>'_'), (k9*['C25~{p1}']for'C25~{p1}'=>'_'), (k9*['C25~{p1,p2}']for'C25~{p1,p2}'=>'_'), (cz*['CycB-CDK~{p1}']*['C25']for'C25'=['CycB-CDK~{p1}']=>'C25~{p1}'), (az*['C25~{p1}']for'C25~{p1}'=>'C25'), (cz*['CycB-CDK~{p1}']*['C25~{p1}']for'C25~{p1}'=['CycB-CDK~{p1}']=>'C25~{p1,p2}'), (az*['C25~{p1,p2}']for'C25~{p1,p2}'=>'C25~{p1}'), (k10 for '_'=>'Wee1'), (k11*['Wee1']for'Wee1'=>'_'), (k11*['Wee1~{p1}']for'Wee1~{p1}'=>'_'), (bw*['Wee1']for'Wee1'=>'Wee1~{p1}'), (cw*['CycB-CDK~{p1}']*['Wee1']for'Wee1'=['CycB-CDK~{p1}']=>'Wee1~{p1}'), (aw*['Wee1~{p1}']for'Wee1~{p1}'=>'Wee1'), (['CycB-CDK~{p1}']^2/ (a^2+['CycB-CDK~{p1}']^2)/tho for '_'=['CycB-CDK~{p1}']=>'APC'), (['APC']/tho for 'APC'=>'_'), (k12 for '_'=>'CKI'), (k13*['CKI']for'CKI'=>'_'), (k14*['CKI']*['CycB-CDK~{p1}']for'CKI'+'CycB-CDK~{p1}'=>'CKI-CycB-CDK~{p1}'), (k15*['CKI-CycB-CDK~{p1}']for'CKI-CycB-CDK~{p1}'=>'CKI'+'CycB-CDK~{p1}'), (bi*['CKI-CycB-CDK~{p1}']for'CKI-CycB-CDK~{p1}'=>'(CKI-CycB-CDK~{p1})~{p2}'), (ci*['CycB-CDK~{p1}']*['CKI-CycB-CDK~{p1}']for'CKI-CycB-CDK~{p1}'=['CycB-CDK~{p1}']=>'(CKI-CycB-CDK~{p1})~{p2}'), (ai*['(CKI-CycB-CDK~{p1})~{p2}']for'(CKI-CycB-CDK~{p1})~{p2}'=>'CKI-CycB-CDK~{p1}'), (k16*['(CKI-CycB-CDK~{p1})~{p2}']for'(CKI-CycB-CDK~{p1})~{p2}'=>'CDK'), (k16u*['APC']*['(CKI-CycB-CDK~{p1})~{p2}']for'(CKI-CycB-CDK~{p1})~{p2}'=['APC']=>'CDK')]).
assertion(Removed =[k2*['CycB'] for 'CycB'=>'_',
k2u*['APC']*['CycB'] for 'CycB'+'APC'=>'APC',
k4*['CycB-CDK~{p1,p2}'] for 'CycB-CDK~{p1,p2}'=>'CDK'+'CycB',
k5*['CycB-CDK~{p1,p2}'] for 'CycB-CDK~{p1,p2}'=>'CycB-CDK~{p1}',
k6*['CycB-CDK~{p1}'] for 'CycB-CDK~{p1}'=>'CycB-CDK~{p1,p2}',
['Wee1']*['CycB-CDK~{p1}'] for 'CycB-CDK~{p1}'+'Wee1'=>'CycB-CDK~{p1,p2}'+'Wee1',
k7*['CycB-CDK~{p1}'] for 'CycB-CDK~{p1}'=>'CDK',
k7u*['APC']*['CycB-CDK~{p1}'] for 'CycB-CDK~{p1}'+'APC'=>'CDK'+'APC',
k9*['C25'] for 'C25'=>'_',
k9*['C25~{p1}'] for 'C25~{p1}'=>'_',
k9*['C25~{p1,p2}'] for 'C25~{p1,p2}'=>'_',
cz*['CycB-CDK~{p1}']*['C25'] for 'C25'+'CycB-CDK~{p1}'=>'C25~{p1}'+'CycB-CDK~{p1}',
az*['C25~{p1}'] for 'C25~{p1}'=>'C25',
cz*['CycB-CDK~{p1}']*['C25~{p1}'] for
'C25~{p1}'+'CycB-CDK~{p1}'=>'C25~{p1,p2}'+'CycB-CDK~{p1}',
az*['C25~{p1,p2}'] for 'C25~{p1,p2}'=>'C25~{p1}',
k10 for '_'=>'Wee1',
k11*['Wee1'] for 'Wee1'=>'_',
k11*['Wee1~{p1}'] for 'Wee1~{p1}'=>'_',
bw*['Wee1'] for 'Wee1'=>'Wee1~{p1}',
cw*['CycB-CDK~{p1}']*['Wee1'] for 'Wee1'+'CycB-CDK~{p1}'=>'Wee1~{p1}'+'CycB-CDK~{p1}',
aw*['Wee1~{p1}'] for 'Wee1~{p1}'=>'Wee1',
['CycB-CDK~{p1}']^2/(a^2+['CycB-CDK~{p1}']^2)/tho for 'CycB-CDK~{p1}'=>'APC'+'CycB-CDK~{p1}',
['APC']/tho for 'APC'=>'_',
k12 for '_'=>'CKI',
k13*['CKI'] for 'CKI'=>'_',
k14*['CKI']*['CycB-CDK~{p1}'] for 'CKI'+'CycB-CDK~{p1}'=>'CKI-CycB-CDK~{p1}',
k15*['CKI-CycB-CDK~{p1}'] for 'CKI-CycB-CDK~{p1}'=>'CKI'+'CycB-CDK~{p1}',
bi*['CKI-CycB-CDK~{p1}'] for 'CKI-CycB-CDK~{p1}'=>'(CKI-CycB-CDK~{p1})~{p2}',
ci*['CycB-CDK~{p1}']*['CKI-CycB-CDK~{p1}'] for 'CKI-CycB-CDK~{p1}'+'CycB-CDK~{p1}'=>'(CKI-CycB-CDK~{p1})~{p2}'+'CycB-CDK~{p1}',
ai*['(CKI-CycB-CDK~{p1})~{p2}'] for '(CKI-CycB-CDK~{p1})~{p2}'=>'CKI-CycB-CDK~{p1}',
k16*['(CKI-CycB-CDK~{p1})~{p2}'] for '(CKI-CycB-CDK~{p1})~{p2}'=>'CDK',
k16u*['APC']*['(CKI-CycB-CDK~{p1})~{p2}'] for '(CKI-CycB-CDK~{p1})~{p2}'+'APC'=>'CDK'+'APC']).
:- end_tests(reduce).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment