Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

PiMachine

Guides

  • Evaluation
  • Terms
  • Types

Tech Notes

  • Diagrams
  • SAT

Symbols

  • PiChoice
  • PiCombinator
  • PiContinuation
  • PiEval
  • PiEvalTrace
  • PiFunction
  • PiHole
  • PiInverse
  • PiMachineDiagram
  • PiMachinePort
  • PiMinus
  • PiOne
  • PiPlus
  • PiReduce
  • PiState
  • PiStateQ
  • PiTerm
  • PiTermQ
  • PiTimes
  • PiTypeQ
  • PiUnit
  • PiZero
WolframInstitute`PiMachine`
PiInverse
​
PiInverse
[term]
inverse type annihilating a given term.
​
Examples  
(1)
Basic Examples  
(1)
In[1]:=
PiInverse
[PiFalse]
Out[1]=
-1

In[2]:=
PiTerm
PiDiscard,
PiInverse
[PiFalse]
Out[2]=
↻
In[3]:=
PiCombinator
["TimesCup"[PiFalse]]["Type"]
Out[3]=

-1

×
In[4]:=
PiCombinator
["TimesCap"[PiFalse]]["Type"]
Out[4]=
-1

×
In[5]:=
PiTerm

PiTerm
PiDiscard,
PiInverse
[PiFalse],PiFalse
Out[5]=
↻
⊗

In[6]:=
PiCombinator
["TimesCap"[PiFalse]]@%
Out[6]=
1
RelatedGuides
▪
Terms
▪
Types
""

© 2025 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com