Zerschneidet man ein benamtes Netz, dass auf beiden Seiten Labels hat, so
wird auch so eines der beiden Netze umbenannt. Fuer Netze ohne Label ist das
Verhalten logisch, fuer Netze mit Label aber nicht.
Das gleiche passiert auch, wenn man ein benamtes Netz mit nur einem Label so
zerschneidet, dass das Netz mit dem Label kurzer als der Rest ist. Auch dann
wird das Label mit einem automatisch generierten Namen umbenannt.
--
Uwe Bonnes bon@elektron.ikp.physik.tu-darmstadt.de
Institut fuer Kernphysik Schlossgartenstrasse 9 64289 Darmstadt
-
Tel. 06151 162516 -
Fax. 06151 164321 -
