Solution Build

Workflow runs for Solution Build

• Integrate two linears to one power as one quadratic to that power

  currently running:
  Solution Build#3251:Pull request#1897openedbyRafael-SOWNet
  two-linears-to-one-power-are-one-quadratic

  Oct 16, 2026In progress
  More actions for workflow run 3251

• Split a power of an even quadratic over a binomial in it over the bin…

  completed successfully:
  Solution Build#3250:Commit384be90pushedbyRafael-SOWNet
  master

  Oct 15, 20267m 55s
  More actions for workflow run 3250

• Split a power of an even quadratic over a binomial in it over the binomial's roots

  completed successfully:
  Solution Build#3249:Pull request#1896openedbyRafael-SOWNet
  a-binomial-in-an-even-quadratic-is-split-over-its-roots

  Oct 15, 20268m 25s
  More actions for workflow run 3249

• Split a power of x over a sum of two cubes over the cube roots of uni…

  completed successfully:
  Solution Build#3248:Commit7e5768bpushedbyRafael-SOWNet
  master

  Oct 15, 20266m 14s
  More actions for workflow run 3248

• Split a power of x over a sum of two cubes over the cube roots of unity

  completed successfully:
  Solution Build#3247:Pull request#1895openedbyRafael-SOWNet
  a-sum-of-two-cubes-is-split-over-the-cube-roots-of-unity

  Oct 15, 20266m 38s
  More actions for workflow run 3247

• Factor a sextic whose leading coefficient needs a monic scale past 2^…

  completed successfully:
  Solution Build#3246:Commitb4f5fbepushedbyRafael-SOWNet
  master

  Oct 15, 20265m 39s
  More actions for workflow run 3246

• Factor a sextic whose leading coefficient needs a monic scale past 2^512

  completed successfully:
  Solution Build#3245:Pull request#1894openedbyRafael-SOWNet
  a-squared-sextic-is-integrated

  Oct 15, 20266m 6s
  More actions for workflow run 3245

• Take a rational function past the twelfth degree by Hermite's reducti…

  completed successfully:
  Solution Build#3244:Commitcba4232pushedbyRafael-SOWNet
  master

  Oct 15, 20266m 8s
  More actions for workflow run 3244

• Take a rational function past the twelfth degree by Hermite's reduction

  completed successfully:
  Solution Build#3243:Pull request#1893openedbyRafael-SOWNet
  the-rational-integrator-takes-a-denominator-past-the-twelfth-degree

  Oct 15, 20269m 23s
  More actions for workflow run 3243

• Reduce a power of a linear over a power of a quadratic a power at a t…

  completed successfully:
  Solution Build#3242:Commit34780ecpushedbyRafael-SOWNet
  master

  Oct 15, 20265m 56s
  More actions for workflow run 3242

• Reduce a power of a linear over a power of a quadratic a power at a time

  completed successfully:
  Solution Build#3241:Pull request#1892openedbyRafael-SOWNet
  a-power-of-a-linear-over-a-power-of-a-quadratic-is-reduced

  Oct 15, 20266m 29s
  More actions for workflow run 3241

• Reduce a rational function over a power of a symbolic quadratic a pow…

  completed successfully:
  Solution Build#3240:Commit1fce7d8pushedbyRafael-SOWNet
  master

  Oct 15, 20266m 2s
  More actions for workflow run 3240

• Reduce a rational function over a power of a symbolic quadratic a power at a time

  completed successfully:
  Solution Build#3239:Pull request#1891openedbyRafael-SOWNet
  a-rational-function-over-a-power-of-a-symbolic-quadratic-is-reduced

  Oct 15, 20265m 46s
  More actions for workflow run 3239

• Integrate a power of a linear beside a quadratic's derivative over it…

  completed successfully:
  Solution Build#3238:Commit37b4798pushedbyRafael-SOWNet
  master

  Oct 15, 20263m 41s
  More actions for workflow run 3238

• Integrate a power of a linear beside a quadratic's derivative over its power by parts

  completed successfully:
  Solution Build#3237:Pull request#1890openedbyRafael-SOWNet
  the-derivative-of-a-quadratic-over-its-power-beside-a-linear-is-integrated-by-parts

  Oct 15, 20266m 59s
  More actions for workflow run 3237

• Split a power of a product beside a whole power of a factor, and ask …

  completed successfully:
  Solution Build#3236:Commit728b279pushedbyRafael-SOWNet
  master

  Oct 15, 20265m 31s
  More actions for workflow run 3236

• Split a power of a product beside a whole power of a factor, and ask it early

  completed successfully:
  Solution Build#3235:Pull request#1889openedbyRafael-SOWNet
  a-power-of-a-product-splits-beside-a-whole-power-of-a-factor

  Oct 15, 20263m 35s
  More actions for workflow run 3235

• Read the root's quadratic at a symbolic pole without the slope's cond…

  completed successfully:
  Solution Build#3234:Commit954a9cdpushedbyRafael-SOWNet
  master

  Oct 14, 20266m 36s
  More actions for workflow run 3234

• Read the root's quadratic at a symbolic pole without the slope's condition

  completed successfully:
  Solution Build#3233:Pull request#1888openedbyRafael-SOWNet
  a-pole-with-a-symbolic-slope-beside-a-root-is-read-bare

  Oct 14, 20266m 13s
  More actions for workflow run 3233

• Split a symbolic power of a product beside a symbolic power of one of…

  completed successfully:
  Solution Build#3232:Commit364eda3pushedbyRafael-SOWNet
  master

  Oct 14, 20266m 25s
  More actions for workflow run 3232

• Split a symbolic power of a product beside a symbolic power of one of its factors

  completed successfully:
  Solution Build#3231:Pull request#1887openedbyRafael-SOWNet
  a-symbolic-power-of-a-product-splits-beside-a-power-of-a-factor

  Oct 14, 20266m 0s
  More actions for workflow run 3231

• Split a symbolic trinomial in x^2 over its factors beside a root of a…

  completed successfully:
  Solution Build#3230:Commit1763843pushedbyRafael-SOWNet
  master

  Oct 14, 20266m 15s
  More actions for workflow run 3230

• Split a symbolic trinomial in x^2 over its factors beside a root of a quadratic

  completed successfully:
  Solution Build#3229:Pull request#1886openedbyRafael-SOWNet
  a-trinomial-in-the-square-beside-a-root-splits-over-its-roots

  Oct 14, 20266m 7s
  More actions for workflow run 3229

• Take a root of a perfect square with a leading coefficient of no know…

  completed successfully:
  Solution Build#3228:Commitacd4702pushedbyRafael-SOWNet
  master

  Oct 14, 20263m 57s
  More actions for workflow run 3228

• Take a root of a perfect square with a leading coefficient of no known sign

  completed successfully:
  Solution Build#3227:Pull request#1884openedbyRafael-SOWNet
  a-power-of-a-perfect-square-is-integrated-as-one

  Oct 14, 20267m 46s
  More actions for workflow run 3227