Harnesses

Workflow runs for Harnesses

• A sine or cosine with no real radical form stays as written (#2308)

  completed successfully:
  Harnesses#1098:Commitdf991d3pushedbyRafael-SOWNet
  master

  Nov 1, 202612m 46s
  More actions for workflow run 1098

• Over the complex numbers, an equation in and out of a modulus is left…

  completed successfully:
  Harnesses#1097:Commitb9171c0pushedbyRafael-SOWNet
  master

  Nov 1, 20269m 10s
  More actions for workflow run 1097

• A sine or cosine with no real radical form stays as written

  completed successfully:
  Harnesses#1096:Pull request#2308openedbyRafael-SOWNet
  a-trigonometric-value-with-no-real-radical-stays-as-written

  Oct 31, 202610m 54s
  More actions for workflow run 1096

• Over the complex numbers, an equation in and out of a modulus is left unsolved

  completed successfully:
  Harnesses#1095:Pull request#2307openedbyRafael-SOWNet
  an-equation-in-and-out-of-a-modulus-is-left-unsolved-over-the-complex-numbers

  Oct 31, 202612m 4s
  More actions for workflow run 1095

• A factor a numerator's terms hold to a power cancels (#2306)

  completed successfully:
  Harnesses#1094:Commit5d973dbpushedbyRafael-SOWNet
  master

  Oct 31, 202612m 20s
  More actions for workflow run 1094

• A factor a numerator's terms hold to a power cancels

  completed successfully:
  Harnesses#1093:Pull request#2306synchronizebyRafael-SOWNet
  a-factor-a-numerators-terms-hold-to-a-power-cancels

  Oct 31, 202611m 30s
  More actions for workflow run 1093

• tanh and coth of a large number are their limits (#2305)

  completed successfully:
  Harnesses#1092:Commitaef5535pushedbyRafael-SOWNet
  master

  Oct 31, 20269m 54s
  More actions for workflow run 1092

• arctan and arccot are undefined at their poles (#2304)

  completed successfully:
  Harnesses#1091:Commitc920408pushedbyRafael-SOWNet
  master

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

• A factor a numerator's terms hold to a power cancels

  completed successfully:
  Harnesses#1090:Pull request#2306openedbyRafael-SOWNet
  a-factor-a-numerators-terms-hold-to-a-power-cancels

  Oct 31, 20269m 33s
  More actions for workflow run 1090

• tanh and coth of a large number are their limits

  completed successfully:
  Harnesses#1089:Pull request#2305openedbyRafael-SOWNet
  tanh-and-coth-of-a-large-number-are-their-limits

  Oct 31, 202613m 16s
  More actions for workflow run 1089

• am_series keeps the power it is asked for (#2303)

  completed successfully:
  Harnesses#1088:Commita435926pushedbyRafael-SOWNet
  master

  Oct 31, 202612m 14s
  More actions for workflow run 1088

• arctan and arccot are undefined at their poles

  completed successfully:
  Harnesses#1087:Pull request#2304openedbyRafael-SOWNet
  arctan-and-arccot-are-undefined-at-their-poles

  Oct 31, 202614m 34s
  More actions for workflow run 1087

• A Taylor expansion simplifies each derivative before taking the next …

  completed successfully:
  Harnesses#1086:Commit2c62523pushedbyRafael-SOWNet
  master

  Oct 31, 20269m 21s
  More actions for workflow run 1086

• am_series keeps the power it is asked for

  completed successfully:
  Harnesses#1085:Pull request#2303openedbyRafael-SOWNet
  a-series-keeps-the-power-it-is-asked-for

  Oct 31, 202612m 42s
  More actions for workflow run 1085

• A Taylor expansion simplifies each derivative before taking the next

  completed successfully:
  Harnesses#1084:Pull request#2302openedbyRafael-SOWNet
  a-taylor-expansion-simplifies-each-derivative

  Oct 31, 202613m 26s
  More actions for workflow run 1084

• A difference of two intervals keeps the parts on either side (#2300)

  completed successfully:
  Harnesses#1083:Commit0aceeb5pushedbyRafael-SOWNet
  master

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

• A difference of two intervals keeps the parts on either side

  completed successfully:
  Harnesses#1082:Pull request#2300openedbyRafael-SOWNet
  a-difference-of-intervals-keeps-both-pieces

  Oct 31, 20269m 21s
  More actions for workflow run 1082

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

  completed successfully:
  Harnesses#1081:Commitc633c41pushedbyRafael-SOWNet
  master

  Oct 31, 202614m 24s
  More actions for workflow run 1081

• Compiling over the reals can refuse what is not real

  completed successfully:
  Harnesses#1080:Pull request#2297synchronizebyRafael-SOWNet
  a-real-compilation-can-refuse-what-is-not-real

  Oct 31, 202612m 5s
  More actions for workflow run 1080

• Compiling over the reals can refuse what is not real

  completed successfully:
  Harnesses#1079:Pull request#2297openedbyRafael-SOWNet
  a-real-compilation-can-refuse-what-is-not-real

  Oct 31, 202612m 31s
  More actions for workflow run 1079

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

  completed successfully:
  Harnesses#1078:Commit17cd9dapushedbyRafael-SOWNet
  master

  Oct 31, 202610m 55s
  More actions for workflow run 1078

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

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

  Oct 31, 202614m 4s
  More actions for workflow run 1077

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

  completed successfully:
  Harnesses#1076:Commit2c9dcebpushedbyRafael-SOWNet
  master

  Oct 31, 202615m 23s
  More actions for workflow run 1076

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

  completed successfully:
  Harnesses#1075:Commit0f3df21pushedbyRafael-SOWNet
  master

  Oct 31, 202611m 19s
  More actions for workflow run 1075

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

  completed successfully:
  Harnesses#1074:Commite238512pushedbyRafael-SOWNet
  master

  Oct 31, 202614m 20s
  More actions for workflow run 1074