fact: Definition as_Tensor (T:Tensor) := let (a,b) := (fst (fst (fst T)), snd (fst (fst T))) in let (c,d) := (fst (snd (fst T)), snd (snd (fst T))) in let (e,f) := (fst (fst (snd T)), snd (fst (snd T))) in let (g,h) := (fst (snd (snd T)), snd (snd (snd T))) in fun x y=> ((a*x*y+b*x+c*y+d)/(e*x*y+f*x+g*y+h))%R.
imports: Streams Streams_addenda Raxioms