F# Test

2371 workflow runs

Read the root's quadratic at a symbolic pole without the slope's cond…
completed successfully:
F# Test#3570:Commit954a9cdpushedbyRafael-SOWNet
master
Oct 14, 20267m 37s
Read the root's quadratic at a symbolic pole without the slope's condition
completed successfully:
F# Test#3569:Pull request#1888openedbyRafael-SOWNet
a-pole-with-a-symbolic-slope-beside-a-root-is-read-bare
Oct 14, 20266m 45s
Split a symbolic power of a product beside a symbolic power of one of…
completed successfully:
F# Test#3568:Commit364eda3pushedbyRafael-SOWNet
master
Oct 14, 20267m 42s
Split a symbolic power of a product beside a symbolic power of one of its factors
completed successfully:
F# Test#3567:Pull request#1887openedbyRafael-SOWNet
a-symbolic-power-of-a-product-splits-beside-a-power-of-a-factor
Oct 14, 20268m 33s
Split a symbolic trinomial in x^2 over its factors beside a root of a…
completed successfully:
F# Test#3566:Commit1763843pushedbyRafael-SOWNet
master
Oct 14, 20269m 19s
Split a symbolic trinomial in x^2 over its factors beside a root of a quadratic
completed successfully:
F# Test#3565:Pull request#1886openedbyRafael-SOWNet
a-trinomial-in-the-square-beside-a-root-splits-over-its-roots
Oct 14, 20264m 38s
Take a root of a perfect square with a leading coefficient of no know…
completed successfully:
F# Test#3564:Commitacd4702pushedbyRafael-SOWNet
master
Oct 14, 20264m 22s
Take a root of a perfect square with a leading coefficient of no known sign
completed successfully:
F# Test#3563:Pull request#1884openedbyRafael-SOWNet
a-power-of-a-perfect-square-is-integrated-as-one
Oct 14, 20267m 10s
Keep a sum of piecewise answers a sum where their cases do not line u…
completed successfully:
F# Test#3562:Commit033953dpushedbyRafael-SOWNet
master
Oct 14, 20264m 44s
Keep a sum of piecewise answers a sum where their cases do not line up
completed successfully:
F# Test#3561:Pull request#1882openedbyRafael-SOWNet
a-sum-of-piecewise-answers-stays-a-sum
Oct 14, 20264m 43s
Take powers of linears apart beside a symbolic root of a quadratic (#…
completed successfully:
F# Test#3560:Commit790feecpushedbyRafael-SOWNet
master
Oct 14, 20264m 56s
Take powers of linears apart beside a symbolic root of a quadratic
completed successfully:
F# Test#3559:Pull request#1881openedbyRafael-SOWNet
a-rational-function-beside-a-root-of-a-quadratic-splits-over-its-linears
Oct 14, 20266m 27s
Name a symbolic quadratic's or binomial's coefficients beside a sine,…
completed successfully:
F# Test#3558:Commit397aa97pushedbyRafael-SOWNet
master
Oct 14, 20268m 8s
Name a symbolic quadratic's or binomial's coefficients beside a sine, and read a double root as a linear twice
completed successfully:
F# Test#3557:Pull request#1880openedbyRafael-SOWNet
a-trigonometric-over-symbolic-linears-keeps-its-coefficients-short
Oct 14, 20264m 53s
Integrate a trigonometric function of a + b/x beside a rational funct…
completed successfully:
F# Test#3556:Commitb3c34dbpushedbyRafael-SOWNet
master
Oct 14, 20267m 14s
Integrate a trigonometric function of a + b/x beside a rational function in 1/x
completed successfully:
F# Test#3555:Pull request#1878openedbyRafael-SOWNet
a-function-of-a-reciprocal-is-integrated-in-the-reciprocal
Oct 14, 20268m 17s
Split a root of a product beside a root of one of its factors (#1876)
completed successfully:
F# Test#3554:Commitf3dd6f6pushedbyRafael-SOWNet
master
Oct 13, 20267m 44s
Split a root of a product beside a root of one of its factors
completed successfully:
F# Test#3553:Pull request#1876openedbyRafael-SOWNet
a-root-of-a-product-splits-beside-a-root-of-its-factor
Oct 13, 20265m 35s
Take a whole power out of a power of a product, in front of a constan…
completed successfully:
F# Test#3552:Commit7df6694pushedbyRafael-SOWNet
master
Oct 13, 20265m 7s
Take a whole power out of a power of a product, in front of a constant
completed successfully:
F# Test#3551:Pull request#1875openedbyRafael-SOWNet
a-power-of-a-product-takes-its-whole-powers-out
Oct 13, 20267m 23s
Clear a sum with the root of a quadratic below the bar by its conjuga…
failed:
F# Test#3550:Commitf68bebdpushedbyRafael-SOWNet
master
Oct 13, 202618m 21s
Clear a sum with the root of a quadratic below the bar by its conjugate
completed successfully:
F# Test#3549:Pull request#1873openedbyRafael-SOWNet
the-conjugate-clears-a-root-of-a-quadratic-below-the-bar
Oct 13, 20263m 48s
A quadratic with rational roots takes Euler's third substitution at o…
completed successfully:
F# Test#3548:Commited821bfpushedbyRafael-SOWNet
master
Oct 13, 20265m 56s
A quadratic with rational roots takes Euler's third substitution at one of them
completed successfully:
F# Test#3547:Pull request#1872openedbyRafael-SOWNet
a-quadratic-with-rational-roots-takes-eulers-third-substitution
Oct 13, 20266m 14s
A root of a multiple of the radicand beside Euler's sum is the same r…
completed successfully:
F# Test#3546:Commit234e45epushedbyRafael-SOWNet
master
Oct 13, 20264m 50s