Kernel Benchmark

Workflow runs for Kernel Benchmark

• Compiling over the reals can refuse what is not real (#2297)

  completed successfully:
  Kernel Benchmark#3976:Commitc633c41pushedbyRafael-SOWNet
  master

  Oct 31, 202614m 9s
  More actions for workflow run 3976

• Compiling over the reals can refuse what is not real

  completed successfully:
  Kernel Benchmark#3975:Pull request#2297synchronizebyRafael-SOWNet
  a-real-compilation-can-refuse-what-is-not-real

  Oct 31, 202611m 41s
  More actions for workflow run 3975

• Compiling over the reals can refuse what is not real

  completed successfully:
  Kernel Benchmark#3974:Pull request#2297openedbyRafael-SOWNet
  a-real-compilation-can-refuse-what-is-not-real

  Oct 31, 202611m 37s
  More actions for workflow run 3974

• An infinity over a vanishing divisor is the infinity of the signs (#2…

  completed successfully:
  Kernel Benchmark#3973:Commit17cd9dapushedbyRafael-SOWNet
  master

  Oct 31, 202612m 21s
  More actions for workflow run 3973

• An infinity over a vanishing divisor is the infinity of the signs

  completed successfully:
  Kernel Benchmark#3972:Pull request#2295openedbyRafael-SOWNet
  a-two-sided-limit-asks-each-side-where-the-expression-is-real-on-both

  Oct 31, 202612m 7s
  More actions for workflow run 3972

• A limit on a logarithm's cut is not read off the principal value (#2294)

  completed successfully:
  Kernel Benchmark#3971:Commit2c9dcebpushedbyRafael-SOWNet
  master

  Oct 31, 202615m 22s
  More actions for workflow run 3971

• A scalar over a matrix argument is not compiled (#2289)

  completed successfully:
  Kernel Benchmark#3970:Commit0f3df21pushedbyRafael-SOWNet
  master

  Oct 31, 202611m 32s
  More actions for workflow run 3970

• A compiled division by zero over double has no value (#2288)

  completed successfully:
  Kernel Benchmark#3969:Commite238512pushedbyRafael-SOWNet
  master

  Oct 31, 202611m 36s
  More actions for workflow run 3969

• round is exact, and an infinity is its own nearest integer (#2285)

  completed successfully:
  Kernel Benchmark#3968:Commitfef0b75pushedbyRafael-SOWNet
  master

  Oct 31, 202611m 24s
  More actions for workflow run 3968

• l'Hopital's rule is not applied across the jumps of a step function (…

  completed successfully:
  Kernel Benchmark#3967:Commit34a4fe5pushedbyRafael-SOWNet
  master

  Oct 31, 202612m 43s
  More actions for workflow run 3967

• A step function at a jump takes the side its argument arrives from (#…

  completed successfully:
  Kernel Benchmark#3966:Commit51820d7pushedbyRafael-SOWNet
  master

  Oct 31, 202613m 14s
  More actions for workflow run 3966

• An exact rational is zero, positive or negative as it is (#2280)

  completed successfully:
  Kernel Benchmark#3965:Commit4d049d5pushedbyRafael-SOWNet
  master

  Oct 31, 202612m 29s
  More actions for workflow run 3965

• The row echelon forms divide exactly (#2279)

  completed successfully:
  Kernel Benchmark#3964:Commitd1c57bbpushedbyRafael-SOWNet
  master

  Oct 31, 202611m 56s
  More actions for workflow run 3964

• A limit on a logarithm's cut is not read off the principal value

  completed successfully:
  Kernel Benchmark#3963:Pull request#2294openedbyRafael-SOWNet
  a-limit-on-a-branch-cut-is-not-read-off-the-principal-value

  Oct 31, 202613m 47s
  More actions for workflow run 3963

• A limit of a logarithm that is not decided is left unevaluated (#2278)

  completed successfully:
  Kernel Benchmark#3962:Commit6cabd96pushedbyRafael-SOWNet
  master

  Oct 31, 202612m 1s
  More actions for workflow run 3962

• A quotient of logarithms tends to the logarithms of its arguments' li…

  completed successfully:
  Kernel Benchmark#3961:Commit26ba7ecpushedbyRafael-SOWNet
  master

  Oct 31, 202610m 41s
  More actions for workflow run 3961

• A quotient of logarithms is differentiated only where both diverge (#…

  completed successfully:
  Kernel Benchmark#3960:Commit3a9a299pushedbyRafael-SOWNet
  master

  Oct 31, 202612m 2s
  More actions for workflow run 3960

• A quotient of logarithms tends to the logarithms of its arguments' limits

  completed successfully:
  Kernel Benchmark#3959:Pull request#2276synchronizebyRafael-SOWNet
  a-quotient-of-logarithms-tends-to-the-logarithms-of-the-limits

  Oct 31, 202615m 55s
  More actions for workflow run 3959

• The row echelon forms divide exactly

  completed successfully:
  Kernel Benchmark#3958:Pull request#2279synchronizebyRafael-SOWNet
  the-reduced-row-echelon-form-divides-exactly

  Oct 31, 202618m 54s
  More actions for workflow run 3958

• A 1x1 matrix has a rank and row echelon forms (#2272)

  completed successfully:
  Kernel Benchmark#3957:Commitf570b35pushedbyRafael-SOWNet
  master

  Oct 31, 202620m 38s
  More actions for workflow run 3957

• A limit at the jump of a step function is not answered by substitutio…

  completed successfully:
  Kernel Benchmark#3956:Commit19305bapushedbyRafael-SOWNet
  master

  Oct 30, 202611m 5s
  More actions for workflow run 3956

• A negation of a signed term is printed in brackets (#2265)

  completed successfully:
  Kernel Benchmark#3955:Commit87a0effpushedbyRafael-SOWNet
  master

  Oct 30, 202613m 2s
  More actions for workflow run 3955

• A scalar over a matrix argument is not compiled

  completed successfully:
  Kernel Benchmark#3954:Pull request#2289openedbyRafael-SOWNet
  a-scalar-over-a-matrix-argument-is-not-compiled-elementwise

  Oct 30, 202611m 47s
  More actions for workflow run 3954

• A compiled division by zero over double has no value

  completed successfully:
  Kernel Benchmark#3953:Pull request#2288openedbyRafael-SOWNet
  a-compiled-division-by-zero-over-double-has-no-value

  Oct 30, 202616m 35s
  More actions for workflow run 3953

• LambertW over the reals is defined where its branch is real (#2263)

  completed successfully:
  Kernel Benchmark#3952:Commit5110f4cpushedbyRafael-SOWNet
  master

  Oct 30, 202612m 44s
  More actions for workflow run 3952