Harnesses

Harnesses.yml

588 workflow runs

A polynomial over a power of one linear with a symbol in it is writte…
completed successfully:
Harnesses#113:Commit9f89516pushedbyRafael-SOWNet
master
Oct 4, 202615m 59s
A symbolic exponent that is -1 as a value is integrated to the logari…
completed successfully:
Harnesses#112:Commit098cb2bpushedbyRafael-SOWNet
master
Oct 4, 202618m 51s
A polynomial over a power of one linear with a symbol in it is written in powers of the linear
completed successfully:
Harnesses#111:Pull request#1724openedbyRafael-SOWNet
a-polynomial-over-a-power-of-one-symbolic-linear-is-reduced-at-its-root
Oct 4, 202624m 10s
The arcsecant beside a root of x^2 - 1 is integrated right below -1 t…
completed successfully:
Harnesses#110:Commit4d1f3b7pushedbyRafael-SOWNet
master
Oct 4, 202618m 29s
A symbolic exponent that is -1 as a value is integrated to the logarithm
completed successfully:
Harnesses#109:Pull request#1723openedbyRafael-SOWNet
a-symbolic-exponent-of-minus-one-as-a-value-is-the-logarithm
Oct 3, 20268m 59s
The arcsecant beside a root of x^2 - 1 is integrated right below -1 too
completed successfully:
Harnesses#108:Pull request#1722openedbyRafael-SOWNet
the-arcsecant-substitution-carries-the-sign-of-the-argument
Oct 3, 202611m 24s
A binomial differential with symbols in it, or a power of x that is n…
completed successfully:
Harnesses#107:Commit51cb049pushedbyRafael-SOWNet
master
Oct 3, 20269m 31s
A binomial differential with symbols in it, or a power of x that is not whole, is integrated
completed successfully:
Harnesses#106:Pull request#1721openedbyRafael-SOWNet
a-binomial-differential-with-symbols-or-a-fractional-power
Oct 3, 20269m 33s
e^(n i arctan(a x)) to a power that is not whole is one power of a qu…
completed successfully:
Harnesses#105:Commit9f27133pushedbyRafael-SOWNet
master
Oct 3, 202610m 17s
The third case of a binomial differential is written back for a negat…
completed successfully:
Harnesses#104:Commita7088bapushedbyRafael-SOWNet
master
Oct 3, 202610m 57s
e^(n i arctan(a x)) to a power that is not whole is one power of a quotient of linears
completed successfully:
Harnesses#103:Pull request#1719synchronizebyRafael-SOWNet
a-fractional-exponential-of-an-imaginary-arctangent
Oct 3, 202610m 51s
The third case of a binomial differential is written back for a negative x too
completed successfully:
Harnesses#102:Pull request#1720openedbyRafael-SOWNet
the-third-binomial-case-written-back-for-every-x
Oct 3, 202613m 2s
Revert "The organisation is AngouriMath, asc-community renamed (#1709…
completed successfully:
Harnesses#101:Commit7a7eed7pushedbyRafael-SOWNet
master
Oct 3, 202615m 53s
The scaling rule does not simplify an integrand with the imaginary un…
completed successfully:
Harnesses#100:Commit459a531pushedbyRafael-SOWNet
master
Oct 3, 20267m 59s
e^(n i arctan(a x)) to a power that is not whole is one power of a quotient of linears
completed successfully:
Harnesses#99:Pull request#1719openedbyRafael-SOWNet
a-fractional-exponential-of-an-imaginary-arctangent
Oct 3, 20269m 45s
The scaling rule does not simplify an integrand with the imaginary unit in it
completed successfully:
Harnesses#98:Pull request#1718openedbyRafael-SOWNet
the-scaling-rule-does-not-simplify-with-the-imaginary-unit
Oct 3, 202613m 12s
An even power of the secant or the cosecant under a root is written i…
completed successfully:
Harnesses#97:Commit3a3d016pushedbyRafael-SOWNet
master
Oct 3, 202613m 50s
An even power of the secant or the cosecant under a root is written in the tangent
completed successfully:
Harnesses#96:Pull request#1717openedbyRafael-SOWNet
an-even-power-of-the-secant-under-a-root
Oct 3, 202610m 15s
The Hermite reduction's system is solved in one row order whatever th…
completed successfully:
Harnesses#95:Commit8f3757cpushedbyRafael-SOWNet
master
Oct 3, 20266m 53s
Revert "The organisation is AngouriMath"
completed successfully:
Harnesses#94:Pull request#1716openedbyHappypig375
revert-1709-the-organisation-is-angourimath
Oct 3, 202618m 6s
The Hermite reduction's system is solved in one row order whatever the spelling
completed successfully:
Harnesses#93:Pull request#1715synchronizebyRafael-SOWNet
the-hermite-system-in-a-fixed-row-order
Oct 3, 20269m 51s
The integrand the root's substitution leaves is cancelled as written,…
completed successfully:
Harnesses#92:Commitdbe5b38pushedbyRafael-SOWNet
master
Oct 3, 20267m 50s
The Hermite reduction's system is solved in one row order whatever the spelling
completed successfully:
Harnesses#91:Pull request#1715openedbyRafael-SOWNet
the-hermite-system-in-a-fixed-row-order
Oct 3, 20265m 33s
The integrand the root's substitution leaves is cancelled as written, not simplified
completed successfully:
Harnesses#90:Pull request#1714openedbyRafael-SOWNet
the-root-divided-integrand-is-inner-simplified
Oct 3, 202613m 8s
A polynomial with symbols in it that is a binomial or an even quartic…
completed successfully:
Harnesses#89:Commit97c4b69pushedbyRafael-SOWNet
master
Oct 3, 20269m 33s

Navigation Menu

Harnesses

588 workflow runs

A polynomial over a power of one linear with a symbol in it is writte…

A symbolic exponent that is -1 as a value is integrated to the logari…

A polynomial over a power of one linear with a symbol in it is written in powers of the linear

The arcsecant beside a root of x^2 - 1 is integrated right below -1 t…

A symbolic exponent that is -1 as a value is integrated to the logarithm

The arcsecant beside a root of x^2 - 1 is integrated right below -1 too

A binomial differential with symbols in it, or a power of x that is n…

A binomial differential with symbols in it, or a power of x that is not whole, is integrated

e^(n i arctan(a x)) to a power that is not whole is one power of a qu…

The third case of a binomial differential is written back for a negat…

e^(n i arctan(a x)) to a power that is not whole is one power of a quotient of linears

The third case of a binomial differential is written back for a negative x too

Revert "The organisation is AngouriMath, asc-community renamed (#1709…

The scaling rule does not simplify an integrand with the imaginary un…

e^(n i arctan(a x)) to a power that is not whole is one power of a quotient of linears

The scaling rule does not simplify an integrand with the imaginary unit in it

An even power of the secant or the cosecant under a root is written i…

An even power of the secant or the cosecant under a root is written in the tangent

The Hermite reduction's system is solved in one row order whatever th…

Revert "The organisation is AngouriMath"

The Hermite reduction's system is solved in one row order whatever the spelling

The integrand the root's substitution leaves is cancelled as written,…

The Hermite reduction's system is solved in one row order whatever the spelling

The integrand the root's substitution leaves is cancelled as written, not simplified

A polynomial with symbols in it that is a binomial or an even quartic…

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for Harnesses

588 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.