[Next] [Contents]

Dom::Boolean -- boolean semiring

Introduction

Dom::Boolean creates a domain for the semiring of booleans.

Details

Creating Elements


Dom::Boolean(n)

Parameters

n- integer.

Categories

Cat::SemiRing

Related Domains

Dom::Tropical

Entries

zero

the boolean constant 0.

one

the boolean constant 1.

Method _plus: sum of booleans

Method _mult: product of booleans

Method _power: power of a boolean

Method expr: convert a boolean into an integer

Example 1

This example shows the idempotency of the boolean semiring:

>> B:=Dom::Boolean:
     
>> B(0) + B(0);
   B(1) + B(1)
     
                                     0
      
                                     1
        

Super-Domain

Dom::BaseDomain

Axioms

Ax::canonicalRep, Ax::normalRep

Changes

[Next] [Contents]


MuPAD Combinat, an open source algebraic combinatorics package