``````=encoding utf8

Math::Bacovia::Power - Represents a symbolic exponentiation in a symbolic base.

use 5.014;
use Math::Bacovia qw(Power Symbol);

my \$f = Power(Symbol('a'), Symbol('b'));
my \$g = Power(Symbol('x'), Symbol('y'));

say ((\$f + \$g)->pretty);    #=> (a^b + x^y)

This section describes the methods provided by the B<Math::Bacovia::Power> module.

my \$obj = Math::Bacovia::Power->new(\$base, \$exponent);

Constructs and returns a new B<Math::Bacovia::Power> object.

my (\$base, \$exponent) = \$obj->get;

Returns the internal values of the self-object.

\$x * \$y
\$x->mul(\$y)

Product of C<x> and C<y>.

When the base of C<x> and C<y> are symbolically equivalent, the following identity is used:

a^b * a^c = a^(b + c)

\$x / \$y
\$x->div(\$y)

Division of C<x> by C<y>.

When the base of C<x> and C<y> are symbolically equivalent, the following identity is used:

a^b / a^c = a^(b - c)

\$x->inv

Multiplicative inverse of C<x>, using the indentity:

1/a^b = a^(-b)

\$x == \$y
\$x->eq(\$y)

Return a true value when C<x> and C<y> are symbolically equal.

This section describes the special methods provided by the B<Math::Bacovia::Power> module.

my @alt = \$obj->alternatives;
my @alt = \$obj->alternatives(full => 1);

This method uses common mathematical identities to create symbolically equivalent expressions from the self-expression.

my \$str = \$obj->pretty;

Returns a human-readable stringification of the self-expression.

my \$str = \$obj->stringify;

Returns a stringification of the self-expression.

my \$num = \$obj->numeric;

Evaluates the self-expression numerically and returns a L<Math::AnyNum> object.

The other parts of B<Math::Bacovia>:

=over 4

=item * L<Math::Bacovia>

=item * L<Math::Bacovia::Fraction>

=item * L<Math::Bacovia::Difference>

=item * L<Math::Bacovia::Log>

=item * L<Math::Bacovia::Exp>

=item * L<Math::Bacovia::Sum>

=item * L<Math::Bacovia::Product>

=item * L<Math::Bacovia::Number>

=item * L<Math::Bacovia::Symbol>

=back

Daniel Șuteu, C<< <trizen at protonmail.com> >>

Please report any bugs or feature requests to L<https://github.com/trizen/Math-Bacovia>.
I will be notified, and then you'll automatically be notified of progress on your bug as I make changes.

You can find documentation for this module with the perldoc command.

perldoc Math::Bacovia::Power

You can also look for information at:

=over 4

=item * AnnoCPAN: Annotated CPAN documentation

L<http://annocpan.org/dist/Math-Bacovia>

=item * CPAN Ratings

L<http://cpanratings.perl.org/d/Math-Bacovia>

=item * Search CPAN

L<http://search.cpan.org/dist/Math-Bacovia/>

=item * GitHub

L<https://github.com/trizen/Math-Bacovia>

=back

This program is free software; you can redistribute it and/or modify it
under the terms of the the Artistic License (2.0). You may obtain a
copy of the full license at:

Any use, modification, and distribution of the Standard or Modified
Versions is governed by this Artistic License. By using, modifying or
distributing the Package, you accept this license. Do not use, modify,
or distribute the Package, if you do not accept this license.

If your Modified Version has been derived from a Modified Version made
by someone other than you, you are nevertheless required to ensure that

This license does not grant you the right to use any trademark, service

This license includes the non-exclusive, worldwide, free-of-charge
patent license to make, have made, use, offer to sell, sell, import and
otherwise transfer the Package with respect to any patent claims
licensable by the Copyright Holder that are necessarily infringed by the
Package. If you institute patent litigation (including a cross-claim or
counterclaim) against any party alleging that the Package constitutes
direct or contributory patent infringement, then this Artistic License
to you shall terminate on the date that such litigation is filed.

Disclaimer of Warranty: THE PACKAGE IS PROVIDED BY THE COPYRIGHT HOLDER
AND CONTRIBUTORS "AS IS' AND WITHOUT ANY EXPRESS OR IMPLIED WARRANTIES.
THE IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
PURPOSE, OR NON-INFRINGEMENT ARE DISCLAIMED TO THE EXTENT PERMITTED BY