[fricas-devel] Question on the function IsArrow? in the file logic.spad

[Hill Strong]

In the following function, the line row = row + 1 does not appear to be
correct

      isArrow?(arr : List(List(Boolean)), a : NNI, b : NNI) : Boolean ==
          row : NNI := 1
          for x in arr repeat
              if row = a then
                  val : Boolean := qelt(x, b)
                  return val
              row = row + 1
          false

Looking at the code, it would appear that this line should be

row := row + 1

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to fricas-devel+unsubscr...@googlegroups.com.
To view this discussion visit 
https://groups.google.com/d/msgid/fricas-devel/CAEnaMTHRnSJSY6cAQasQ-pXdCT9U%2BFRAPEmAHVbdwTDrcuVqdA%40mail.gmail.com.