Thread: C++ Algorithm

Hi,

I need to write a halving algorithm for the root function. Here's what's given:

Code:

global_procedure Root (
alters Natural_Power_2& n,
preserves Integer r
);
/*!
requires
r > 0
ensures
n^(r) <= #n < (n+1)^(r)
!*/

//------------------------------------...

procedure_body Root (
alters Natural_Power_2& n,
preserves Integer r
)
{

//Fill in here

}

I was thinking of doing something like:

Code:

object Natural_Power_2 old_self, temp;

if (r mod 2 == 1)
{
self.Copy_To (old_self);
}
self.Power (r/2);
self.Copy_To (temp);
self.Divide (temp);
if (r mod 2 == 1)
{
self.Divide (old_self);
}
}

Would that work?

Thanks!

I have no idea what that language is, but it isn't C++.

Originally Posted by CornedBee

Could be D, perhaps?

Not to sound stupid (although this question will), but is 'D' seriously a language?

a visit to wikipedia tells me it is

Maybe a better question is: does anyone actually use D?