242 case nxt of ("Apply_Method", Apply_Method ["PolyEq", "normalize_poly"]) => () |
242 case nxt of ("Apply_Method", Apply_Method ["PolyEq", "normalize_poly"]) => () |
243 | _ => error "55b normalize_poly specification broken"; |
243 | _ => error "55b normalize_poly specification broken"; |
244 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
244 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
245 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
245 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
246 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
246 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
247 case f of Form' (FormKF (~1, EdUndef, 0, Nundef, "-6 * x + 5 * x ^^^ 2 = 0")) => () |
247 case f of FormKF "-6 * x + 5 * x ^^^ 2 = 0" => () |
248 | _ => error "rlang.sml: diff.behav. in Schalk I s.87 Bsp 55b"; |
248 | _ => error "rlang.sml: diff.behav. in Schalk I s.87 Bsp 55b"; |
249 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
249 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
250 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
250 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
251 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
251 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
252 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |
252 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; val (p,_,f,nxt,_,pt) = me nxt p [1] pt; |