Meine Idee war nämlich gewesen, dass es immer weniger false Werte in line geben wird. Dies habe ich mit dem (\sum... ) Operator ausgesagt. Leider bekomme ich von Key folgende Fehlermeldung:
Code: Alles auswählen
Building a term failed. Normally there is an arity mismatch or one of the subterms' sorts is not compatible (e.g. like the '2' in "true & 2")
The top level operator was bsum{[false,false,true]}(Sort: int); its expected arg sorts were:
1.) sort: int, sort hash: 26003033
2.) sort: int, sort hash: 26003033
3.) sort: int, sort hash: 26003033
The subterms were:
1.) Z(0(#))(sort: int, sort hash: 26003033)
2.) length(boolean[]::select(heap,self,Bonus::$line))(sort: int, sort hash: 26003033)
3.) equals(boolean::select(heap,boolean[]::select(heap,self,Bonus::$line),arr(c)),TRUE)(sort: Formula, sort hash: 30188878)
Ist es überhaupt möglich den (\sum...) Operator in dem decreasing Teil zu benutzen???