added test procedures for Laurent systems