Open ptal opened 9 years ago
Current rep next P will generate 2 vertices, one for P and an empty one for the replicate and next. We could use the equivalence rep next P = next rep P to avoid creating an empty node.
rep next P
P
rep next P = next rep P
Current
rep next Pwill generate 2 vertices, one forPand an empty one for the replicate and next. We could use the equivalencerep next P = next rep Pto avoid creating an empty node.