2.4.12 Modifying Built-in Functions
Mathematica allows you to define transformation rules for any expression. You can define such rules not only for functions that you add to Mathematica, but also for intrinsic functions that are already built into Mathematica. As a result, you can enhance, or modify, the features of built-in Mathematica functions.
This capability is powerful, but potentially dangerous. Mathematica will always follow the rules you give it. This means that if the rules you give are incorrect, then Mathematica will give you incorrect answers.
To avoid the possibility of changing built-in functions by mistake, Mathematica "protects" all built-in functions from redefinition. If you want to give a definition for a built-in function, you have to remove the protection first. After you give the definition, you should usually restore the protection, to prevent future mistakes.
Built-in functions are usually "protected", so you cannot redefine them.
Protection for functions.
In:= Log = 2
Set::write: Tag Log in Log is Protected.
This removes protection for Log.
Now you can give your own definitions for Log. This particular definition is not mathematically correct, but Mathematica will still allow you to give it.
In:= Log = 2
Mathematica will use your definitions whenever it can, whether they are mathematically correct or not.
In:= Log + Log
This removes the incorrect definition for Log.
In:= Log =.
This restores the protection for Log.
Definitions you give can override built-in features of Mathematica. In general, Mathematica tries to use your definitions before it uses built-in definitions.
There is a built-in rule for simplifying Exp[Log[expr]].
The rules that are built into Mathematica are intended to be appropriate for the broadest range of calculations. In specific cases, however, you may not like what the built-in rules do. In such cases, you can give your own rules to override the ones that are built in.
You can give your own rule for Exp[Log[expr]], overriding the built-in rule.
Now your rule is used, rather than the built-in one.
Exp[Log[expr_]] := explog[expr] ;
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER
FOR THE LATEST INFORMATION.