Re: New to MuPad

craigugoretz@xxxxxxxxx wrote:

I still need help with axioms, though. If it would be helpful, I

An axiom in MuPAD really is just a flag indicating “this domain has property XY.” So, for example, Dom::Fraction(R) carries Ax::normalRep to indicate that any element of it which looks different from zero actually is different from zero. The axiom Ax::canonicalRep to indicate that two elements looking different at first glance actually are different requires a bit more from the ring R.

 Usage:  Inside generic code, you can write

   if x::dom::hasProp(Ax::normalRep) then
     // faster code not valid in general
   else
     // generic code taking more care of zeroes
   end_if;

can post the short bit of code that I have written so far. Jerzy's

I don't think it would be the first time in this newsgroup, so it should be ok.


regards,

Christopher
.

Relevant Pages

  • Re: Probability in an infinite sample space
    ... arises when every term in the sum is zero. ... the probability that it lies in is 1, by definition. ... What I cannot understand is why the Axiom makes an exception only for ... The uniform probability distribution I proposed ...
    (sci.math)
  • Re: Infinity equals one
    ... Make it an axiom. ... Absolute zero is well-known to be the lower limit of temperature. ...
    (sci.math)
  • Re: Implementable Set Theory and Consistency of ZFC
    ... An infinite set exists. ... By Axiom 2, exists. ... Isn't this very much like saying that 1/0 (= one divided by zero) must ... Thus avoiding the universal set. ...
    (sci.math)
  • Re: Cantors "proof"
    ... >> successor of every number in S, then every number is in S. ... set (up to isomorphism). ... Specifically, take Axiom 5 ... Then finite numbers contains zero and all N, and so every number is finite. ...
    (sci.math)
  • Re: zero to the power zero
    ... Until Monday morning I thought that x^0=1 for all x where x is a finite real (the notation ^ means "to the power of") ... x^k/x^k doesn't make any sense when x=0 because of division by zero. ... or is it taken as an axiom that 0^0 = 1? ...
    (sci.math)
Loading