// This file is auto-generated. Changes to this file will be lost!

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 0);
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 12);
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 3, 4);
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(12)->CastR8(), 4, 3);
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8());
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0->CastR8(), 3);
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8());
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 0);
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(3->CastR8(), 4, 2, 3);
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(4->CastR8(), 5, 3, 6);
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(1/0->CastR8());
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-1/0->CastR8());
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(-0.0->CastR8());
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 12);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 3, 4);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.From(Range(12)->CastR8(), 4, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.From(Range(4)->CastR8(), 1, 0, 1);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.From(Range(4)->CastR8(), 3, 1, 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.Fill(0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.Fill(0->CastR8(), 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.Fill(3->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.Fill(3->CastR8(), 0);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.Fill(3->CastR8(), 4, 2, 3);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.Fill(4->CastR8(), 5, 3, 6);
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.Fill(1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.Fill(-1/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.Fill(-0.0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

`` T := Tensor.Fill(0/0->CastR8());
`` U := Tensor.Fill(0/0->CastR8());
({'  T': T}, {'  U': U }, {Dot: T->Dot(U)})

