least common multiple fn (LeastCommonMultipleFn)

(LeastCommonMultipleFn number1 number2 ... number) returns the least common multiple of number1 through number.

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

varga

inheritable relation

prakaarya

parivartaniiya sanbandha
is instance of

least common multiple fn

Coordinate term(s)

assignment fn greatest common divisor fn list fn contrary attribute disjoint decomposition disjoint relation exhaustive attribute exhaustive decomposition holds partition

Axioms (2)

agar "the least common multiple of " is equal to number,
to sab-kuch element ke lie hai, ki: agar element is a member of "()", to "number mod element" is equal to

(=>
      (equal
            (LeastCommonMultipleFn @ROW)
            ?NUMBER)
      (forall
            (?ELEMENT)
            (=>
                  (inList
                        ?ELEMENT
                        (ListFn @ROW))
                  (equal
                        (RemainderFn ?NUMBER ?ELEMENT)
                        0))))

agar "the least common multiple of " is equal to number,
to yah kuch less nahin, ki less is less than number aur sab-kuch element ke lie hai, ki: agar element is a member of "()", to "less mod element" is equal to

(=>
      (equal
            (LeastCommonMultipleFn @ROW)
            ?NUMBER)
      (not
            (exists
                  (?LESS)
                  (and
                        (lessThan ?LESS ?NUMBER)
                        (forall
                              (?ELEMENT)
                              (=>
                                    (inList
                                          ?ELEMENT
                                          (ListFn @ROW))
                                    (equal
                                          (RemainderFn ?LESS ?ELEMENT)
                                          0)))))))