Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit history

Commits on Mar 9, 2022

• Merge pull request #1814 from rikardn/refineminmax

  Show description for 562c957
  rikardn

  authored
  562c957

  Copy full SHA for 562c957

Commits on Mar 6, 2022

• Refine interval from -inf to +inf to Reals

  rikardn

  committed
  f404d4e

  Copy full SHA for f404d4e

Commits on Feb 23, 2022

• Merge branch 'master' into refineminmax

  rikardn

  authored
  bb7e651

  Copy full SHA for bb7e651

Commits on Dec 1, 2021

• Merge branch 'master' into refine_powpow

  rikardn

  authored
  37081ec

  Copy full SHA for 37081ec

Commits on Nov 7, 2021

• Refine log of integers which are perfect powers

  rikardn

  committed
  a8dc164

  Copy full SHA for a8dc164

Commits on Oct 31, 2021

• Refine x**n**k => x**(n*k) in certain cases

  rikardn

  committed
  0d961ae

  Copy full SHA for 0d961ae

Commits on Oct 29, 2021

• Add logarithm power rule to refine

  rikardn

  committed
  28af33c

  Copy full SHA for 28af33c

Commits on Aug 17, 2021

• Refine for min and max

  rikardn

  committed
  9cdbfd8

  Copy full SHA for 9cdbfd8

Commits on Jun 2, 2021

• Refine UnevaluatedExpr

  rikardn

  committed
  8dff747

  Copy full SHA for 8dff747

Commits on May 25, 2021

• Add refine function

  rikardn

  committed
  bbdd1b2

  Copy full SHA for bbdd1b2

Loading