Kernel Benchmark

1886 workflow runs

Reduce a power of a linear over a power of a quadratic a power at a t…
currently running:
Kernel Benchmark#3318:Commit34780ecpushedbyRafael-SOWNet
master
Oct 15, 2026In progress
Reduce a power of a linear over a power of a quadratic a power at a time
completed successfully:
Kernel Benchmark#3317:Pull request#1892openedbyRafael-SOWNet
a-power-of-a-linear-over-a-power-of-a-quadratic-is-reduced
Oct 15, 202611m 24s
Reduce a rational function over a power of a symbolic quadratic a pow…
completed successfully:
Kernel Benchmark#3316:Commit1fce7d8pushedbyRafael-SOWNet
master
Oct 15, 202610m 48s
Reduce a rational function over a power of a symbolic quadratic a power at a time
completed successfully:
Kernel Benchmark#3315:Pull request#1891openedbyRafael-SOWNet
a-rational-function-over-a-power-of-a-symbolic-quadratic-is-reduced
Oct 15, 202611m 34s
Integrate a power of a linear beside a quadratic's derivative over it…
completed successfully:
Kernel Benchmark#3314:Commit37b4798pushedbyRafael-SOWNet
master
Oct 15, 202613m 44s
Integrate a power of a linear beside a quadratic's derivative over its power by parts
completed successfully:
Kernel Benchmark#3313:Pull request#1890openedbyRafael-SOWNet
the-derivative-of-a-quadratic-over-its-power-beside-a-linear-is-integrated-by-parts
Oct 15, 202611m 30s
Split a power of a product beside a whole power of a factor, and ask …
completed successfully:
Kernel Benchmark#3312:Commit728b279pushedbyRafael-SOWNet
master
Oct 15, 202612m 46s
Split a power of a product beside a whole power of a factor, and ask it early
completed successfully:
Kernel Benchmark#3311:Pull request#1889openedbyRafael-SOWNet
a-power-of-a-product-splits-beside-a-whole-power-of-a-factor
Oct 15, 202611m 51s
Read the root's quadratic at a symbolic pole without the slope's cond…
completed successfully:
Kernel Benchmark#3310:Commit954a9cdpushedbyRafael-SOWNet
master
Oct 14, 202612m 46s
Read the root's quadratic at a symbolic pole without the slope's condition
completed successfully:
Kernel Benchmark#3309:Pull request#1888openedbyRafael-SOWNet
a-pole-with-a-symbolic-slope-beside-a-root-is-read-bare
Oct 14, 202611m 14s
Split a symbolic power of a product beside a symbolic power of one of…
completed successfully:
Kernel Benchmark#3308:Commit364eda3pushedbyRafael-SOWNet
master
Oct 14, 202611m 48s
Split a symbolic power of a product beside a symbolic power of one of its factors
completed successfully:
Kernel Benchmark#3307:Pull request#1887openedbyRafael-SOWNet
a-symbolic-power-of-a-product-splits-beside-a-power-of-a-factor
Oct 14, 202613m 16s
Split a symbolic trinomial in x^2 over its factors beside a root of a…
completed successfully:
Kernel Benchmark#3306:Commit1763843pushedbyRafael-SOWNet
master
Oct 14, 202616m 45s
Split a symbolic trinomial in x^2 over its factors beside a root of a quadratic
completed successfully:
Kernel Benchmark#3305:Pull request#1886openedbyRafael-SOWNet
a-trinomial-in-the-square-beside-a-root-splits-over-its-roots
Oct 14, 202611m 19s
Take a root of a perfect square with a leading coefficient of no know…
completed successfully:
Kernel Benchmark#3304:Commitacd4702pushedbyRafael-SOWNet
master
Oct 14, 202612m 5s
Take a root of a perfect square with a leading coefficient of no known sign
completed successfully:
Kernel Benchmark#3303:Pull request#1884openedbyRafael-SOWNet
a-power-of-a-perfect-square-is-integrated-as-one
Oct 14, 202611m 16s
Keep a sum of piecewise answers a sum where their cases do not line u…
completed successfully:
Kernel Benchmark#3302:Commit033953dpushedbyRafael-SOWNet
master
Oct 14, 202611m 55s
Keep a sum of piecewise answers a sum where their cases do not line up
completed successfully:
Kernel Benchmark#3301:Pull request#1882openedbyRafael-SOWNet
a-sum-of-piecewise-answers-stays-a-sum
Oct 14, 202611m 18s
Take powers of linears apart beside a symbolic root of a quadratic (#…
completed successfully:
Kernel Benchmark#3300:Commit790feecpushedbyRafael-SOWNet
master
Oct 14, 202612m 49s
Take powers of linears apart beside a symbolic root of a quadratic
completed successfully:
Kernel Benchmark#3299:Pull request#1881openedbyRafael-SOWNet
a-rational-function-beside-a-root-of-a-quadratic-splits-over-its-linears
Oct 14, 202613m 33s
Name a symbolic quadratic's or binomial's coefficients beside a sine,…
completed successfully:
Kernel Benchmark#3298:Commit397aa97pushedbyRafael-SOWNet
master
Oct 14, 202612m 17s
Name a symbolic quadratic's or binomial's coefficients beside a sine, and read a double root as a linear twice
completed successfully:
Kernel Benchmark#3297:Pull request#1880openedbyRafael-SOWNet
a-trigonometric-over-symbolic-linears-keeps-its-coefficients-short
Oct 14, 202612m 20s
Integrate a trigonometric function of a + b/x beside a rational funct…
completed successfully:
Kernel Benchmark#3296:Commitb3c34dbpushedbyRafael-SOWNet
master
Oct 14, 202612m 7s
Integrate a trigonometric function of a + b/x beside a rational function in 1/x
completed successfully:
Kernel Benchmark#3295:Pull request#1878openedbyRafael-SOWNet
a-function-of-a-reciprocal-is-integrated-in-the-reciprocal
Oct 14, 202615m 14s
Split a root of a product beside a root of one of its factors (#1876)
completed successfully:
Kernel Benchmark#3294:Commitf3dd6f6pushedbyRafael-SOWNet
master
Oct 13, 202611m 56s