Skip to content

bug with translocation 2 or clash? #2

Description

@vd1

I get this strange trace with 4 events - the last event is repeated but nothing happens which is ok but weird; the real problem is the second event which does not change the state of the system - is that a clash? If it is a clash, it is not too bad, but the event number should not be incremented (null events should not count, although they should advance the time of the system)

 0.03 1 2.0 1.0 1.0 2.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 3.0 0.0 1.0 0.0 0.0 
 2.88 2 2.0 1.0 1.0 2.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 3.0 0.0 1.0 0.0 0.0 
 7.81 3 2.0 1.0 0.0 0.0 1.0 2.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 3.0 0.0 1.0 0.0 0.0 
 7.96 4 2.0 1.0 0.0 0.0 0.0 0.0 1.0 2.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 3.0 0.0 1.0 0.0 0.0 
 7.96 4 2.0 1.0 0.0 0.0 0.0 0.0 1.0 2.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 3.0 0.0 1.0 0.0 0.0 

This trace is obtained for the following code running for four steps (the purpose of the example is to demonstrate how one can trap an agent by linking him outside of a channel):

%agent: A(a~0~1~2)

%compartment: box[11][2]

# First we need a 2-channel
%channel: horiz2 \
:box[u][0], :box[v][1] -> :box[u +1][0], :box[v +1][1]

# Second, we need A 1-channel to trap one of the high A's 
# in a complex "outre-canal"
%channel: horiz1 \
:box[v][1] -> :box[v +1][1]

# Q: is the channel :horiz2 not redundant in this rule?
# why not directly positioning agents?
# A: this rule does not force the high As/low A tandem to be at the same x
# but the the high As have to be in the same voxel because of :horiz2
# so it is not entirely redundant; besides, it will also prevent application
# if there is a "dragging" complex
'amb-move2' \
A:box[?][1](a~0?), A:box[?][1](a~1?), A:box[?][0](a~2?) ->:horiz2 \
A(a~0?),A(a~1?),A(a~2?) @ 0.5

%init: 1  :box[0][0] A(a~0),A(a~1),A(a~2)

%init: 1  :box[0][1] A(a~0),A(a~1),A(a~2)
%init: 1  :box[8][1] A(a~1),A(a~2)

# two options, high A0 is free, or trapped in an outre-complex
#%init: 1  :box[8][1] A(a~0)
%init: 1  A:box[8][1](a~0!1:horiz1),A:box[9][1](a~0!1:horiz1)

%obs: voxel 'A' :box A()
%plot: 'amb-move2'

Metadata

Metadata

Assignees

Labels

No labels
No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions